-
abella Public
Forked from abella-prover/abellaAn interactive theorem prover based on lambda-tree syntax
OCaml GNU General Public License v3.0 UpdatedNov 27, 2024 -
-
beautiful-racket Public
A repository for the programs in https://beautifulracket.com/ (written by me, of course)
Racket MIT License UpdatedJun 18, 2023 -
-
my-minikanren Public
My implementation of miniKanren as given in "The Reasoned Schemer" (mostly with added comments)
Scheme UpdatedMay 4, 2023 -
solang Public
Forked from hyperledger-solang/solangSolidity Compiler for Solana and Substrate
Rust Apache License 2.0 UpdatedApr 7, 2023 -
my-j-bob Public
My imple 10612 mentation of the J-Bob theorem prover given in "The Little Prover" (mostly just with added comments)
Scheme GNU General Public License v3.0 UpdatedApr 5, 2023 -
-
-
jlox Public
Lox interpreter written in Java, from the book 'Crafting Interpreters'
Java GNU General Public License v3.0 UpdatedApr 5, 2023 -
clox Public
Lox interpreter written in C, from the book 'Crafting Interpreters'
C GNU General Public License v3.0 UpdatedApr 5, 2023 -
-
PVS Public
Forked from SRI-CSL/PVSThe People's Verification System
Common Lisp GNU General Public License v2.0 UpdatedApr 2, 2023 -
personoj Public
Forked from Deducteam/personojPeople's Verification System in Dedukti
Common Lisp Other UpdatedFeb 5, 2023 -
tinylisp Public
Forked from Robert-van-Engelen/tinylispLisp in 99 lines of C and how to write one yourself. Includes 20 Lisp primitives, garbage collection and REPL. Includes tail-call optimized versions for speed and reduced memory use.
C BSD 3-Clause "New" or "Revised" License UpdatedJan 30, 2023 -
lisp-cheney Public
Forked from Robert-van-Engelen/lisp-cheneyA mini Lisp in 1k lines of C with Cheney's copying garbage collector, explained. Includes over 40 built-in Lisp primitives, floating point, strings, closures with lexical scope, macros, proper tail…
C BSD 3-Clause "New" or "Revised" License UpdatedSep 25, 2022 -
lisp Public
Forked from Robert-van-Engelen/lispA mini Lisp in 1k lines of C with garbage collector, explained. Includes over 40 built-in Lisp primitives, floating point, strings, closures with lexical scope, macros, proper tail recursion, excep…
C BSD 3-Clause "New" or "Revised" License UpdatedSep 24, 2022 -
pie Public
Forked from the-little-typer/pieThe Pie language, which accompanies The Little Typer by Friedman and Christiansen
Racket GNU Affero General Public License v3.0 UpdatedJul 7, 2021 -
j-bob Public
Forked from the-little-prover/j-bobScheme BSD 2-Clause "Simplified" License UpdatedApr 9, 2021 -
n-grams-for-synthesis Public
Forked from webyrd/n-grams-for-synthesisn-gram probabilities based on Lisp code, for directing search of the relational Scheme interpreter
Scheme MIT License UpdatedMay 26, 2020 -
miniKanren Public
Forked from miniKanren/miniKanrenCanonical miniKanren implementation
Scheme MIT License UpdatedApr 11, 2018 -
probKanren Public
Forked from webyrd/probKanrenProbabilistic miniKanren
Scheme MIT License UpdatedOct 20, 2015
{{ message }}