Awesome Open Source
Awesome Open Source
Combined Topics
reasoning x

The Top 1,029 Reasoning Open Source Projects

Categories > Machine Learning > Reasoning
Bosquelanguage ⭐ 5,310
The Bosque programming language is an experiment in regularized design for a machine assisted rapid and reliable software development lifecycle.
most recent commit 17 hours ago
Awesome Gpt3 ⭐ 3,622
most recent commit a month ago
Reagent ⭐ 3,270
A platform for Reasoning systems (Reinforcement Learning, Contextual Bandits, etc.)
total releases 2most recent commit 3 days ago
Typedb ⭐ 3,210
TypeDB: a strongly-typed database
dependent packages 5total releases 24most recent commit 4 hours ago
Awesome Knowledge Graph ⭐ 2,122
整理知识图谱相关学习资料
most recent commit 2 years ago
Knowledge Graphs ⭐ 1,272
A collection of research on knowledge graphs
most recent commit 2 months ago
Badwolf ⭐ 958
Temporal graph store abstraction layer.
total releases 22most recent commit 6 months ago
Babi Tasks ⭐ 846
Task generation for testing text understanding and reasoning
most recent commit 4 years ago
Protege ⭐ 767
Protege Desktop
dependent packages 21total releases 11most recent commit 21 days ago
Gnn4nlp Papers ⭐ 751
A list of recent papers about Graph Neural Network methods applied in NLP areas.
most recent commit 17 days ago
Clevr Iep ⭐ 747
Inferring and Executing Programs for Visual Reasoning
most recent commit a year ago
Shadershop ⭐ 733
most recent commit 8 years ago
Erlang_guidelines ⭐ 584
Inaka's Erlang Coding Guidelines
most recent commit 5 months ago
Frap ⭐ 574
Formal Reasoning About Programs
most recent commit a month ago
Causalml ⭐ 537
The open source repository for the Causal Modeling in Machine Learning Workshop at Altdeep.ai @ www.altdeep.ai/courses/causalML
most recent commit 9 days ago
Cosette ⭐ 509
Cosette is an automated SQL solver.
most recent commit 4 years ago
Granule ⭐ 448
A statically typed linear functional language with graded modal types for fine-grained program reasoning
most recent commit 6 months ago
Mac Network ⭐ 445
Implementation for the paper "Compositional Attention Networks for Machine Reasoning" (Hudson and Manning, ICLR 2018)
most recent commit 2 years ago
Homebrew Cask Drivers ⭐ 416
🖨 Casks of Drivers
most recent commit 14 hours ago
Phyre ⭐ 404
PHYRE is a benchmark for physical reasoning.
most recent commit 6 months ago
Goedelgod ⭐ 342
Formalizations of Gödel's Ontological Proof of God's Existence
most recent commit 4 years ago
Deeppath ⭐ 341
code and docs for my EMNLP paper "DeepPath: A Reinforcement Learning Method for Knowledge Graph Reasoning"
most recent commit 3 years ago
R2c ⭐ 336
Recognition to Cognition Networks (code for the model in "From Recognition to Cognition: Visual Commonsense Reasoning", CVPR 2019)
most recent commit 3 years ago
Tbd Nets ⭐ 335
PyTorch implementation of "Transparency by Design: Closing the Gap Between Performance and Interpretability in Visual Reasoning"
most recent commit 4 years ago
Re Net ⭐ 334
Recurrent Event Network: Autoregressive Structure Inference over Temporal Knowledge Graphs (EMNLP 2020)
most recent commit 7 months ago
Learning_to_retrieve_reasoning_paths ⭐ 322
The official implementation of ICLR 2020, "Learning to Retrieve Reasoning Paths over Wikipedia Graph for Question Answering".
most recent commit 2 years ago
Satnet ⭐ 320
Bridging deep learning and logical reasoning using a differentiable satisfiability solver.
total releases 5most recent commit a year ago
Java Geometry Expert ⭐ 318
Java Geometry Expert
most recent commit 2 years ago
Aima Haskell ⭐ 309
Algorithms from AIMA in Haskell
most recent commit 5 years ago
Info8006 Introduction To Ai ⭐ 304
Lectures for INFO8006 - Introduction to Artificial Intelligence, ULiège
most recent commit 11 hours ago
Cogqa ⭐ 297
Source code and dataset for ACL 2019 paper "Cognitive Graph for Multi-Hop Reading Comprehension at Scale"
most recent commit 3 years ago
Recurrent Entity Networks ⭐ 280
TensorFlow implementation of "Tracking the World State with Recurrent Entity Networks".
most recent commit 5 years ago
Medikanren ⭐ 273
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
most recent commit 11 hours ago
Iter Reason ⭐ 258
Code for Iterative Reasoning Paper (CVPR 2018)
most recent commit 5 years ago
Opennars ⭐ 252
OpenNARS for Research 3.0+
most recent commit 2 years ago
Dmn Tensorflow ⭐ 235
Dynamic Memory Networks (https://arxiv.org/abs/1603.01417) in Tensorflow
most recent commit 6 years ago
Limbo ⭐ 232
A Reasoning System for a First-Order Logic of Limited Belief, written in C++
most recent commit 2 years ago
Tagsistant ⭐ 231
Semantic filesystem for Linux, with relation reasoner, autotagging plugins and a deduplication service
most recent commit 4 years ago
Multihopkg ⭐ 227
Multi-hop knowledge graph reasoning learned via policy gradient with reward shaping and action dropout
most recent commit a year ago
Drrg ⭐ 224
Deep relational reasoning graph network for arbitrary shape text detection; Accepted by CVPR 2020 (Oral). http://arxiv.org/abs/2003.07493
most recent commit 3 months ago
Knowledge_graph_reasoning_papers ⭐ 216
Must-read papers on knowledge graph reasoning
most recent commit a year ago
Nlvr ⭐ 211
Cornell NLVR and NLVR2 are natural language grounding datasets. Each example shows a visual input and a sentence describing it, and is annotated with the truth-value of the sentence.
most recent commit 2 months ago
Bayesianlearning ⭐ 198
Bayesian Machine Learning
most recent commit 3 months ago
Kprn ⭐ 183
Reasoning Over Knowledge Graph Paths for Recommendation
most recent commit 3 years ago
Coqhammer ⭐ 181
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
most recent commit 14 days ago
Awesome Coq ⭐ 180
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [[email protected],@palmskog]
most recent commit 8 days ago
Deep Reasoning Papers ⭐ 180
Recent Papers including Neural Symbolic Reasoning, Logical Reasoning, Visual Reasoning, planning and any other topics connecting deep learning and reasoning
most recent commit 2 years ago
Recurrent Relational Networks ⭐ 179
Code accompanying the paper Recurrent Relational Networks for Complex Relational Reasoning https://arxiv.org/abs/1711.08028
most recent commit 4 years ago
Glore ⭐ 178
Global Reasoning module for visual recognition
most recent commit a year ago
Mspars ⭐ 176
most recent commit 2 years ago
Typeql ⭐ 170
TypeQL: the query language of TypeDB - a strongly-typed database
total releases 5most recent commit 2 days ago
Awesome Causal Inference ⭐ 169
A (concise) curated list of awesome Causal Inference resources.
most recent commit 23 days ago
Monogrnet ⭐ 164
MonoGRNet: A Geometric Reasoning Network for Monocular 3D Object Detection and Localization | KITTI
most recent commit 3 years ago
Octavian ⭐ 162
Utilities for reasoning about musical notes, frequencies, and intervals
dependent packages 5total releases 9most recent commit 8 months agonpm octavian} Downloads
Metaprob ⭐ 162
An embedded language for probabilistic programming and meta-programming.
most recent commit a month ago
Pgpr ⭐ 160
Reinforcement Knowledge Graph Reasoning for Explainable Recommendation
most recent commit 7 months ago
Kagnet ⭐ 158
Knowledge-Aware Graph Networks for Commonsense Reasoning (EMNLP-IJCNLP 19)
most recent commit 2 years ago
Neural Logic Machines ⭐ 157
Implementation for the Neural Logic Machines (NLM).
most recent commit 3 years ago
Reasoning Rcnn ⭐ 155
Reasoning-RCNN: Unifying Adaptive Global Reasoning into Large-scale Object Detection (CVPR2019 Oral)
most recent commit 8 months ago
Math ⭐ 155
The MATH Dataset (NeurIPS 2021)
most recent commit a year ago
Mutual ⭐ 154
A Dataset for Multi-Turn Dialogue Reasoning
most recent commit 2 years ago
Logictensornetworks ⭐ 149
Deep Learning and Logical Reasoning from Data and Knowledge
most recent commit 3 months ago
Object_level_visual_reasoning ⭐ 148
Pytorch Implementation of "Object level Visual Reasoning in Videos", F. Baradel, N. Neverova, C. Wolf, J. Mille, G. Mori , ECCV 2018
most recent commit 4 years ago
Gated Spatio Temporal Energy Graph ⭐ 145
[CVPR'19] [PyTorch] Gated Spatio Temporal Energy Graph
most recent commit 3 years ago
Pybrml ⭐ 145
Python Version of BRML toolbox for Bayesian Reasoning and Machine Learning
most recent commit 7 years ago
Ioflo ⭐ 143
Automated Reasoning Engine and Flow Based Programming Framework
dependent packages 3total releases 107most recent commit 2 years agopypi ioflo} Downloads
Murel.bootstrap.pytorch ⭐ 141
MUREL (CVPR 2019), a multimodal relational reasoning module for VQA
most recent commit 3 years ago
React Reform ⭐ 140
Helps you create powerful themes for pleasant to use forms
total releases 31most recent commit 3 years ago
Swagaf ⭐ 133
Repository for paper "SWAG: A Large-Scale Adversarial Dataset for Grounded Commonsense Inference"
most recent commit 4 years ago
Automata ⭐ 131
A comprehensive autonomous decentralized systems framework for AI control architects.
most recent commit a year ago
Decomprc ⭐ 126
An original implementation of ACL 2019, "Multi-hop Reading Comprehension through Question Decomposition and Rescoring"
most recent commit 5 months ago
Fsharp Logic Examples ⭐ 126
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.
most recent commit 6 years ago
Reinforcement Learning In Robotics ⭐ 123
This is a private learning repository for reinforcement learning techniques used in robotics.
most recent commit 3 months ago
Lnn ⭐ 119
A `Neural = Symbolic` framework for sound and complete weighted real-value logic
most recent commit 2 days ago
Neural Lp ⭐ 119
Differentiable Learning of Logical Rules for Knowledge Base Reasoning
most recent commit 4 years ago
Ns Vqa ⭐ 119
Neural-symbolic visual question answering
most recent commit 4 years ago
Bigraphgan ⭐ 119
[BMVC 2020 Oral] Bipartite Graph Reasoning GANs for Person Image Generation
most recent commit 6 months ago
Awesome Rust Formalized Reasoning ⭐ 117
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
most recent commit 4 days ago
Vsrn ⭐ 116
PyTorch code for ICCV'19 paper "Visual Semantic Reasoning for Image-Text Matching"
most recent commit 3 years ago
Acar Net ⭐ 111
[CVPR 2021] Actor-Context-Actor Relation Network for Spatio-temporal Action Localization
most recent commit a year ago
Nbfnet ⭐ 108
Official implementation of Neural Bellman-Ford Networks (NeurIPS 2021)
most recent commit a month ago
Awesome Deeplogic ⭐ 108
A collection of papers of neural-symbolic AI (mainly focus on NLP applications)
most recent commit 7 months ago
Opendialkg ⭐ 107
OpenDialKG: Explainable Conversational Reasoning with Attention-based Walks over Knowledge Graphs
most recent commit a year ago
Mac Graph ⭐ 105
The MacGraph network. An attempt to get MACnets running on graph knowledge
most recent commit 4 years ago
Sgraf ⭐ 105
The code of “Similarity Reasoning and Filtration for Image-Text Matching” [AAAI2021]
most recent commit 6 months ago
Multi Step Reasoning ⭐ 103
most recent commit 2 years ago
Owl Rl ⭐ 98
A simple implementation of the OWL2 RL Profile on top of RDFLib: it expands the graph with all possible triples that OWL RL defines. It can be used together with RDFLib to expand an RDFLib Graph object, or as a stand alone service with its own serialization.
dependent packages 11total releases 7most recent commit a year agopypi owlrl} Downloads
Pracmln ⭐ 96
Markov Logic Networks in Python
most recent commit 3 years ago
Kgreasoning ⭐ 96
Multi-Hop Logical Reasoning in Knowledge Graphs
most recent commit a year ago
Knowrob ⭐ 96
KnowRob is a knowledge base for robots. It equips robots with the capability to organize information in re-usable knowledge chunks, and to perform reasoning in an expressive logic formalism. It further provides a set of tools for visualization and acquisition of knowledge.
most recent commit 5 days ago
Eagrnet ⭐ 93
Edge-aware Graph Representation Learning and Reasoning for Face Parsing (ECCV 2020)
most recent commit 7 months ago
Rosnavigationguide ⭐ 93
A guide for ROS navigation tuning | demo: https://youtu.be/1-7GNtR6gVk
most recent commit 9 months ago
Probcog ⭐ 92
A toolbox for statistical relational learning and reasoning.
most recent commit 2 years ago
Quantomatic ⭐ 91
Quantomatic is a tool for doing automated graph rewriting.
most recent commit 3 years ago
Symfony 3 Rest Api Example ⭐ 90
Symfony 3 RESTful API Example
most recent commit 5 years ago
Clasp ⭐ 89
⚙️ A conflict-driven nogood learning answer set solver
most recent commit a month ago
Gulp Ngmin ⭐ 89
[DEPRECATED] Pre-minify AngularJS apps with ngmin
dependent packages 54total releases 5most recent commit 8 years agonpm gulp-ngmin} Downloads
Query2box ⭐ 87
Query2box: Reasoning over Knowledge Graphs in Vector Space Using Box Embeddings
most recent commit 2 years ago
Eprover ⭐ 87
most recent commit 21 hours ago
Therefore ⭐ 85
∴ deductive reasoning tool
most recent commit 4 years ago
1-100 of 1,029 projects
Categories
Advertising 📦 8
All Projects
Application Programming Interfaces 📦 107
Applications 📦 174
Artificial Intelligence 📦 69
Blockchain 📦 66
Build Tools 📦 105
Cloud Computing 📦 68
Code Quality 📦 24
Collaboration 📦 27
Command Line Interface 📦 38
Community 📦 79
Companies 📦 60
Compilers 📦 59
Computer Science 📦 73
Configuration Management 📦 37
Content Management 📦 153
Control Flow 📦 187
Data Formats 📦 72
Data Processing 📦 249
Data Storage 📦 116
Economics 📦 56
Frameworks 📦 178
Games 📦 110
Graphics 📦 92
Hardware 📦 137
Integrated Development Environments 📦 43
Learning Resources 📦 139
Legal 📦 24
Libraries 📦 117
Lists Of Projects 📦 19
Machine Learning 📦 313
Mapping 📦 57
Marketing 📦 15
Mathematics 📦 54
Media 📦 214
Messaging 📦 96
Networking 📦 292
Operating Systems 📦 72
Operations 📦 114
Package Managers 📦 50
Programming Languages 📦 173
Runtime Environments 📦 90
Science 📦 42
Security 📦 342
Social Media 📦 23
Software Architecture 📦 65
Software Development 📦 60
Software Performance 📦 53
Software Quality 📦 116
Text Editors 📦 40
Text Processing 📦 118
User Interface 📦 291
User Interface Components 📦 440
Version Control 📦 26
Virtualization 📦 63
Web Browsers 📦 35
Web Servers 📦 23
Web User Interface 📦 167
Top Programming Languages
Javascript  (1,094,037)
Python  (840,414)
Java  (397,395)
Php  (290,328)
Typescript  (268,309)
C Plus Plus  (246,633)
Ruby  (222,759)
C  (186,614)
Shell  (175,998)
C Sharp  (170,046)
Golang  (164,214)
Swift  (66,872)
Rust  (62,068)
R  (59,764)
Objective C  (57,102)
Dart  (56,427)
Kotlin  (49,411)
Lua  (35,789)
Matlab  (31,839)
Perl  (30,653)
Language  (29,993)
Scala  (28,949)
Haskell  (20,641)
Powershell  (19,571)
Clojure  (19,293)
Bash  (18,889)
Coffeescript  (17,225)
Elixir  (16,960)
Assembly  (15,031)
Julia  (13,341)
Processing  (13,290)
Basic  (10,703)
Emacs Lisp  (10,579)
Flow  (10,541)
Erlang  (9,071)
Solidity  (9,001)
Groovy  (8,486)
Scheme  (8,422)
Ocaml  (6,810)
Pascal  (6,584)
Hack  (6,471)
Lisp  (6,344)
Fortran  (5,662)
Elm  (5,508)
Common Lisp  (5,387)
Dlang  (4,766)
Shell Script  (4,737)
Python Library  (4,473)
Crystal  (4,404)
Scripting  (4,222)
Top Projects
Freecodecamp ⭐ 354,843
996.icu ⭐ 263,876
Free Programming Books ⭐ 250,837
Coding Interview University ⭐ 235,070
Awesome ⭐ 221,638
Developer Roadmap ⭐ 213,845
Public Apis ⭐ 210,596
Vue ⭐ 199,794
System Design Primer ⭐ 198,956
React ⭐ 195,638
Tensorflow ⭐ 168,180
Build Your Own X ⭐ 166,540
Bootstrap ⭐ 159,827
You Dont Know Js ⭐ 159,180
Cs Notes ⭐ 156,901
Javascript Algorithms ⭐ 152,260
Ohmyzsh ⭐ 150,775
Python ⭐ 146,191
Flutter ⭐ 145,515
Awesome Python ⭐ 143,628
Gitignore ⭐ 139,112
Linux ⭐ 139,082
Vscode ⭐ 137,291
Javaguide ⭐ 127,697
Javascript ⭐ 127,656
Python 100 Days ⭐ 125,388
Computer Science ⭐ 124,972
Youtube Dl ⭐ 113,923
The Art Of Command Line ⭐ 111,100
Fucking Algorithm ⭐ 110,756
React Native ⭐ 105,160
Awesome Selfhosted ⭐ 104,987
Go ⭐ 104,367
Electron ⭐ 103,956
30 Seconds Of Code ⭐ 102,805
D3 ⭐ 101,796
Create React App ⭐ 97,252
Axios ⭐ 96,153
Free Programming Books Zh_cn ⭐ 94,901
Next.js ⭐ 93,467
Kubernetes ⭐ 92,587
Node ⭐ 90,750
Awesome Go ⭐ 88,997
Three.js ⭐ 85,836
Deno ⭐ 85,654
Terminal ⭐ 85,514
Typescript ⭐ 84,748
Angular ⭐ 84,154
Ant Design ⭐ 82,109
Material Ui ⭐ 81,757
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2022 Awesome Open Source.  All rights reserved.