69 results found Sort:
- Filter by Primary Language:
- Python (7)
- JavaScript (6)
- Java (6)
- TeX (5)
- TypeScript (5)
- Jupyter Notebook (3)
- Rust (3)
- Clojure (2)
- OCaml (2)
- HTML (2)
- Julia (2)
- Lua (2)
- Standard ML (1)
- Verilog (1)
- C (1)
- Vue (1)
- C# (1)
- Common Lisp (1)
- Coq (1)
- CSS (1)
- F# (1)
- Go (1)
- Groovy (1)
- Lean (1)
- PHP (1)
- Prolog (1)
- Scala (1)
- +
Programming Language Theory λΠ
Created
2013-07-30
253 commits to main branch, last one 10 months ago
Digital logic design tool and simulator
Created
2014-09-19
4,942 commits to main branch, last one 23 days ago
A digital logic designer and circuit simulator.
Created
2016-06-28
4,536 commits to master branch, last one 11 days ago
INACTIVE: Move your mouse, generate code from flow chart
Created
2020-04-08
296 commits to master branch, last one 2 years ago
TypeDB: the polymorphic database powered by types
Created
2016-07-11
6,599 commits to development branch, last one a day ago
The Flix Programming Language
Created
2015-06-12
9,405 commits to master branch, last one 6 hours 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 2 months ago
The MATH Dataset (NeurIPS 2021)
Created
2021-02-10
23 commits to main branch, last one 2 years ago
A digital logic simulator
Created
2016-08-21
336 commits to master branch, last one 6 years ago
Neuro-Symbolic AI with Declarative Logic
Created
2021-07-11
789 commits to main branch, last one 19 hours ago
Curated list of Prolog packages and resources
Created
2017-11-05
48 commits to master branch, last one 2 years 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
Functional relational programming for Clojure(Script).
Created
2021-07-27
419 commits to master branch, last one 6 months ago
OpenNARS for Research 3.0+
Created
2014-07-18
3,944 commits to master branch, last one 3 years ago
ACL2 System and Books as Maintained by the Community
Created
2014-09-01
38,172 commits to master branch, last one 10 hours ago
Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
Created
2020-07-03
54 commits to master branch, last one 5 months ago
A free, open source, online digital circuit/logic designer.
Created
2017-03-22
4,300 commits to master branch, last one 4 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
252 commits to main branch, last one 5 days ago
Reviewing some online CS courses I took
Created
2020-06-10
922 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 6 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
1,925 commits to master branch, last one 3 months 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 polymorphic query language of TypeDB
Created
2019-02-16
981 commits to development branch, last one about an hour ago
Mod for minetest that adds digital circuitry [=Minecraft redstone]
Created
2012-01-07
933 commits to master branch, last one 12 days ago
The Principia Rewrite
Created
2020-09-27
66 commits to master branch, last one about a month ago
A Julia package for Prolog-style logic programming.
Created
2019-12-26
112 commits to master branch, last one about a year ago
An explainable inference software supporting annotated, real valued, graph based and temporal logic
Created
2022-10-22
458 commits to main branch, last one 2 days ago
LibraryBookSearchEngine，link librarys of all 197 Countries, search all resources of books，for student, research,图书馆图书搜索引擎,在家链接全球197个国家的图书馆，搜索图书资源,学生必备，科研必备，学习必备工具。
Created
2020-10-07
8 commits to main branch, last one 8 months ago
Source code for lecture notes
Created
2017-11-05
30 commits to master branch, last one 5 years ago
Book of Bad Arguments & Mr. Rabbit's Guide to Sneaky Rhetoric
Created
2015-09-28
214 commits to master branch, last one 4 months ago