the-little-prover / j-bob
☆417Updated 7 months ago
Related projects: ⓘ
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆694Updated 3 years ago
- Canonical miniKanren implementation☆349Updated 6 years ago
- Typed Racket☆521Updated 2 weeks ago
- The implementation of microKanren, a featherweight relational programming language☆305Updated 10 years ago
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆321Updated 3 years ago
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆484Updated 2 years ago
- A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)☆349Updated 3 years ago
- Shen language kernel sources for porters☆352Updated last month
- WIP implementation of a Haskell-like Lisp in Racket☆1,164Updated 5 months ago
- A full implementation of the Scheme programming language for the Haskell Platform.☆308Updated 10 months ago
- Programs from the book Lisp in Small Pieces, updated to work on modern schemes☆227Updated 3 years ago
- Write You a Scheme☆552Updated last year
- Poly/ML☆483Updated last month
- A practical guide to Racket macros☆250Updated 4 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆159Updated 7 years ago
- Mirror of Software Foundations in PDF☆294Updated 3 years ago
- nanopass compiler framework for Racket☆180Updated 7 months ago
- Software Foundations in Idris☆452Updated 5 years ago
- Larceny Scheme implementation☆202Updated 7 years ago
- Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic☆128Updated 6 years ago
- The MLton repository☆945Updated last month
- An axiom-free formalization of category theory in Coq for personal study and practical work☆746Updated 2 weeks ago
- ☆169Updated 6 years ago
- Urlang is JavaScript with a sane syntax☆302Updated 3 weeks ago
- Rhombus programming language☆332Updated this week
- A less devious proof assistant☆220Updated last year
- A bibliography on Gradual Typing☆247Updated 8 months ago
- Bibliography of Scheme research (readscheme.org and beyond)☆149Updated last year
- ACL2 System and Books as Maintained by the Community☆356Updated this week
- Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.☆338Updated 7 months ago