86 results found Sort:
- Filter by Primary Language:
- Python (12)
- Java (7)
- TeX (6)
- JavaScript (6)
- Rust (5)
- TypeScript (5)
- Jupyter Notebook (3)
- Julia (3)
- OCaml (3)
- Scala (2)
- Lua (2)
- C (2)
- HTML (2)
- Clojure (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)
- VHDL (1)
- Assembly (1)
- +
Digital logic design tool and simulator
Created
2014-09-19
5,250 commits to main branch, last one a day ago
Programming Language Theory λΠ
Created
2013-07-30
254 commits to main branch, last one 4 months ago
A digital logic designer and circuit simulator.
Created
2016-06-28
4,552 commits to master branch, last one 12 days ago
TypeDB: the power of programming, in your database
Created
2016-07-11
7,045 commits to 3.0 branch, last one 3 days ago
INACTIVE: Move your mouse, generate code from flow chart
Created
2020-04-08
296 commits to master branch, last one 3 years ago
The Flix Programming Language
Created
2015-06-12
10,863 commits to master branch, last one 24 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 about a year 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
829 commits to main branch, last one 2 months 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 7 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 3 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
45,082 commits to master branch, last one 17 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 8 months ago
A free, open source, online digital circuit/logic designer.
Created
2017-03-22
4,300 commits to master branch, last one about a year 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
290 commits to main branch, last one 2 days ago
Reviewing some online CS courses I took
Created
2020-06-10
937 commits to master branch, last one 28 days 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 4 months ago
LaTTe : a Laboratory for Type Theory experiments (in clojure)
Created
2015-03-04
441 commits to master branch, last one 25 days ago
A `Neural = Symbolic` framework for sound and complete weighted real-value logic
Created
2021-11-26
109 commits to master branch, last one 2 years ago
TypeQL: the power of programming, in your database
Created
2019-02-16
1,082 commits to master branch, last one 15 hours ago
The Principia Rewrite
Created
2020-09-27
71 commits to master branch, last one 2 months ago
Mod for Minetest that adds digital circuitry [=Minecraft redstone]
Created
2012-01-07
960 commits to master branch, last one 23 days ago
An explainable inference software supporting annotated, real valued, graph based and temporal logic
Created
2022-10-22
885 commits to main branch, last one 7 days 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 7 months ago
Official implementation of paper "On the Diagram of Thought" (https://arxiv.org/abs/2409.10038)
Created
2024-09-15
18 commits to main branch, last one 8 days ago
A Julia package for Prolog-style logic programming.
Created
2019-12-26
112 commits to master branch, last one 2 years ago
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
Created
2022-06-03
63 commits to master branch, last one 7 months ago