superb-owl / grothendieckLinks
☆26Updated 2 years ago
Alternatives and similar repositories for grothendieck
Users that are interested in grothendieck are comparing it to the libraries listed below
Sorting:
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- Rewriting Principia Mathematica in Lean☆136Updated last week
- Polynomial-time Meta-Interpretive Learning☆131Updated 11 months ago
- Persistence of concurrent activities for Gerbil Scheme☆55Updated 3 months ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆122Updated 3 weeks ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆195Updated 3 weeks ago
- A logic programming language that has features of both Datalog and answer set programming.☆120Updated this week
- Brzozowski derivative python sketch☆86Updated 9 months ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Autoregressive transformers in APL☆106Updated 4 months ago
- A curated list of awesome Category Theory resources.☆127Updated 8 months ago
- ☆61Updated last year
- APL Compiler targeting a typed array intermediate language☆217Updated last year
- k/simple is a bare minimum k interpreter for learning purposes by arthur whitney☆452Updated 7 months ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆36Updated 13 years ago
- Collapsing Towers of Interpreters☆93Updated 7 months ago
- A wiki and web-services based development environment for Awelon project☆91Updated 6 years ago
- A typed, polyglot, functional language☆211Updated last week
- nqthm - the original Boyer-Moore theorem prover, from 1992☆57Updated 9 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆126Updated 12 years ago
- Demo of a WAM Prolog implementation in Python☆78Updated 2 years ago
- the origins of J☆63Updated 2 years ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆91Updated 5 years ago
- Slog 1.0☆46Updated last year
- ☆57Updated 8 months ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- PostgreSQL Prolog language handler☆135Updated last year
- An introduction to the J programming language that gets to the point.☆68Updated last month
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆97Updated 10 years ago
- A compact, efficient Prolog interpreter written in plain-old C.☆336Updated this week