81 results found Sort:
- Filter by Primary Language:
- Python (12)
- Java (7)
- TeX (6)
- JavaScript (6)
- Rust (5)
- TypeScript (5)
- Jupyter Notebook (3)
- Julia (3)
- HTML (2)
- OCaml (2)
- Lua (2)
- Clojure (2)
- Scala (2)
- Vue (1)
- C# (1)
- Common Lisp (1)
- Coq (1)
- CSS (1)
- F# (1)
- Go (1)
- Lean (1)
- PHP (1)
- Prolog (1)
- Standard ML (1)
- Verilog (1)
- C (1)
- +
Programming Language Theory λΠ
Created
2013-07-30
254 commits to main branch, last one 19 days ago
Digital logic design tool and simulator
Created
2014-09-19
5,077 commits to main branch, last one 4 days ago
A digital logic designer and circuit simulator.
Created
2016-06-28
4,546 commits to master branch, last one about a month ago
TypeDB: the power of programming, in your database
Created
2016-07-11
6,940 commits to 3.0 branch, last one 22 hours ago
INACTIVE: Move your mouse, generate code from flow chart
Created
2020-04-08
296 commits to master branch, last one 2 years ago
The Flix Programming Language
Created
2015-06-12
10,403 commits to master branch, last one 3 hours ago
The MATH Dataset (NeurIPS 2021)
Created
2021-02-10
23 commits to main branch, last one 3 years ago
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Created
2020-08-21
195 commits to main branch, last one 8 months ago
A digital logic simulator
Created
2016-08-21
336 commits to master branch, last one 7 years ago
Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍
Created
2021-07-11
827 commits to main branch, last one 2 days ago
Curated list of Prolog packages and resources
Created
2017-11-05
48 commits to master branch, last one 3 years ago
Functional relational programming for Clojure(Script).
Created
2021-07-27
420 commits to master branch, last one 4 months ago
Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.
Created
2022-01-08
5 commits to main branch, last one 2 years ago
OpenNARS for Research 3.0+
Created
2014-07-18
3,944 commits to master branch, last one 4 years ago
ACL2 System and Books as Maintained by the Community
Created
2014-09-01
42,120 commits to master branch, last one 13 hours ago
Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
Created
2020-07-03
56 commits to master branch, last one 4 months ago
A free, open source, online digital circuit/logic designer.
Created
2017-03-22
4,300 commits to master branch, last one 10 months ago
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
Created
2021-04-10
274 commits to main branch, last one 7 days ago
Reviewing some online CS courses I took
Created
2020-06-10
936 commits to master branch, last one 2 months ago
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Created
2015-12-07
2,154 commits to master branch, last one about a month ago
LaTTe : a Laboratory for Type Theory experiments (in clojure)
Created
2015-03-04
440 commits to master branch, last one about a year ago
A `Neural = Symbolic` framework for sound and complete weighted real-value logic
Created
2021-11-26
109 commits to master branch, last one about a year ago
TypeQL: the power of programming, in your database
Created
2019-02-16
1,059 commits to 3.0 branch, last one 23 hours ago
Mod for Minetest that adds digital circuitry [=Minecraft redstone]
Created
2012-01-07
950 commits to master branch, last one a day ago
The Principia Rewrite
Created
2020-09-27
70 commits to master branch, last one 3 days ago
An explainable inference software supporting annotated, real valued, graph based and temporal logic
Created
2022-10-22
862 commits to main branch, last one 6 days ago
Official implementation of paper "On the Diagram of Thought" (https://arxiv.org/abs/2409.10038)
Created
2024-09-15
16 commits to main branch, last one 3 months ago
A Julia package for Prolog-style logic programming.
Created
2019-12-26
112 commits to master branch, last one about a year ago
Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
Created
2023-03-16
11 commits to main branch, last one 3 months ago
PyTorch Explain: Interpretable Deep Learning in Python.
Created
2021-04-10
139 commits to master branch, last one about a year ago