Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Reasoning Open Source Projects

Open source projects categorized as Reasoning
Categories > Machine Learning > Reasoning
Bosquelanguage ⭐ 5,314
The Bosque programming language is an experiment in regularized design for a machine assisted rapid and reliable software development lifecycle.
most recent commit a year ago
Awesome Gpt3 ⭐ 4,470
most recent commit a year ago
Typedb ⭐ 3,623
TypeDB: the polymorphic database powered by types
dependent packages 5total releases 24most recent commit 3 months ago
Awesome Knowledge Graph ⭐ 2,122
整理知识图谱相关学习资料
most recent commit 3 years ago
Knowledge Graphs ⭐ 1,599
A collection of research on knowledge graphs
most recent commit 2 years ago
React ⭐ 1,281
[ICLR 2023] ReAct: Synergizing Reasoning and Acting in Language Models
most recent commit 3 months ago
Auto Cot ⭐ 1,166
Official implementation for "Automatic Chain of Thought Prompting in Large Language Models" (stay tuned & more will be updated)
most recent commit a month ago
Awesome Llm Reasoning ⭐ 1,035
Papers and resources on Reasoning in Language Models (LLMs), including Chain-of-Thought, Instruction-Tuning, Multimodality.
most recent commit 18 days ago
Badwolf ⭐ 958
Temporal graph store abstraction layer.
total releases 22most recent commit 2 years ago
Protege ⭐ 911
Protege Desktop
dependent packages 21total releases 11most recent commit 3 months ago
Knowlm ⭐ 870
An Open-sourced Knowledgable Large Language Model Framework.
most recent commit 3 months ago
Gnn4nlp Papers ⭐ 824
A list of recent papers about Graph Neural Network methods applied in NLP areas.
most recent commit a year ago
Clevr Iep ⭐ 747
Inferring and Executing Programs for Visual Reasoning
most recent commit 3 years ago
Shadershop ⭐ 733
most recent commit 9 years ago
Prompt4reasoningpapers ⭐ 717
Repository for the ACL2023 paper "Reasoning with Language Model Prompting: A Survey".
most recent commit 3 months ago
Thoughtsource ⭐ 680
A central, open resource for data and tools related to chain-of-thought reasoning in large language models. Developed @ Samwald research group: https://samwald.info/
most recent commit 9 months ago
Causalml ⭐ 665
The open source repository for the Causal Modeling in Machine Learning Workshop at Altdeep.ai @ www.altdeep.ai/courses/causalML
most recent commit 5 months ago
Frap ⭐ 592
Formal Reasoning About Programs
most recent commit a year ago
Erlang_guidelines ⭐ 584
Inaka's Erlang Coding Guidelines
most recent commit 2 years ago
Math ⭐ 571
The MATH Dataset (NeurIPS 2021)
most recent commit 5 months ago
Granule ⭐ 547
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
most recent commit 3 months ago
Cosette ⭐ 509
Cosette is an automated SQL solver.
most recent commit 5 years ago
Lm Reasoning ⭐ 490
This repository contains a collection of papers and resources on Reasoning in Large Language Models.
most recent commit 5 months ago
The 10 Most Depended On Reasoning Open Source Projects
Gulp Ngmin ⭐ 89
[DEPRECATED] Pre-minify AngularJS apps with ngmin
dependent packages 56total releases 5latest release May 04, 2014most recent commit 10 years agonpm gulp-ngmin} Downloads
Protege ⭐ 911
Protege Desktop
dependent packages 21total releases 11latest release March 17, 2015most recent commit 3 months ago
Wtforms Sqlalchemy ⭐ 92
WTForms integration for SQLAlchemy
dependent packages 11total releases 3latest release November 06, 2021most recent commit 4 months agopypi WTForms-SQLAlchemy} Downloads
Rdf N3 ⭐ 24
Ruby Notation-3 reader/writer for RDF.rb.
dependent packages 11total releases 41latest release January 29, 2022most recent commit 4 months agorubygems rdf-n3} Downloads
Archspec ⭐ 81
A library for detecting, labeling, and reasoning about microarchitectures
dependent packages 8total releases 8latest release November 06, 2023most recent commit 5 months agopypi archspec} Downloads
Octavian ⭐ 162
Utilities for reasoning about musical notes, frequencies, and intervals
dependent packages 7total releases 9latest release October 21, 2015most recent commit 2 years agonpm octavian} Downloads
Typedb ⭐ 3,623
TypeDB: the polymorphic database powered by types
dependent packages 5total releases 24latest release December 13, 2018most recent commit 3 months ago
Hylar Reasoner ⭐ 37
HyLAR reasoner
dependent packages 4total releases 77latest release March 15, 2021most recent commit 3 years agonpm hylar} Downloads
Ioflo ⭐ 143
Automated Reasoning Engine and Flow Based Programming Framework
dependent packages 3total releases 107latest release October 19, 2020most recent commit 3 years agopypi ioflo} Downloads
The 10 Latest Releases In Reasoning Open Source Projects
Typeql ⭐ 206
TypeQL: the polymorphic query language of TypeDB
dependent packages 1total releases 7latest release December 04, 2023most recent commit 3 months agocargo typeql} Downloads
Easyinstruct ⭐ 253
An Easy-to-use Instruction Processing Framework for LLMs.
total releases 7latest release November 27, 2023most recent commit 3 months ago
Eloquent Ember ⭐ 35
Makes Ember APIs super easy to build in Laravel
latest release November 24, 2023most recent commit 10 years ago
Pybhv ⭐ 14
Boolean Hypervectors with various operators for experiments in hyperdimensional computing (HDC).
total releases 49latest release November 23, 2023most recent commit 4 months ago
Simpful ⭐ 104
A friendly python library for fuzzy logic reasoning
dependent packages 2total releases 84latest release November 20, 2023most recent commit 3 months agopypi simpful} Downloads
Archspec ⭐ 81
A library for detecting, labeling, and reasoning about microarchitectures
dependent packages 8total releases 8latest release November 06, 2023most recent commit 5 months agopypi archspec} Downloads
Zen ⭐ 72
Zen is a constraint solving library for .NET
total releases 63latest release October 23, 2023most recent commit 5 months ago
Ccobra ⭐ 10
Framework for the specification and analysis of models for human reasoning.
total releases 25latest release October 20, 2023most recent commit 6 months ago
Pycbr ⭐ 6
Microframework to implement Case-Based Reasoning systems
total releases 2latest release October 19, 2023most recent commit 6 months ago
Rusty_planner ⭐ 15
AI planning & reasoning library for Rust
total releases 3latest release July 11, 2023most recent commit 5 months ago
Popular Machine Learning Categories
Deep Learning
Machine Learning
Pytorch
Tensorflow
Natural Language Processing
Neural Network
Neural
Computer Vision
Convolutional Neural Networks
Opencv
Categories
Privacy | About | Terms | Follow Us On Twitter

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

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