tromp / tromp.github.io
John Tromp homepage
☆21Updated this week
Related projects ⓘ
Alternatives and complementary repositories for tromp.github.io
- Guy Steele's RABBIT Scheme compiler☆58Updated 15 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- Simple Neural Network Examples in 8 lines APL☆30Updated last year
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- An embeddable flow-oriented language.☆59Updated last month
- nqthm - the original Boyer-Moore theorem prover, from 1992☆49Updated 8 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆24Updated 11 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆35Updated 2 years ago
- Reason about Bitcoin addresses with Prolog☆21Updated 7 months ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆154Updated 3 months ago
- Intuitionistic Programming Language☆11Updated 10 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆15Updated 6 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 5 years ago
- Common Lisp DSL for building untyped lambda calculus expressions☆23Updated 2 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆26Updated 4 years ago
- A Racket refactoring engine☆58Updated 2 weeks ago
- QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator☆32Updated 7 years ago
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆31Updated 9 months ago
- Gerbil Package Directory☆22Updated last year
- Binary rational numbers in Coq [maintainer=@herbelin]☆12Updated 10 months ago
- The package manager for Cyclone Scheme.☆28Updated 8 months ago
- Shen for Common Lisp (Unmaintained)☆122Updated 5 months ago
- A simple incomplete Scheme-to-C compiler☆66Updated last month
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆28Updated 6 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆160Updated 7 years ago
- Ethereum support for Gerbil Scheme☆18Updated 6 months ago
- A Verilog dialect supercharged by the Racket meta-fairies.☆55Updated 5 years ago
- Simplified example cryptocurrency implementation in Racket☆47Updated 3 years ago
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 4 years ago