Stars
Code from the 2018 Denver Clojure Meetup
[toy, wip] A chain with lots of lemmas. More specifically, a logic programming engine.
An operating system written in Common Lisp
Implementations of the Kanren family of relational programming languages, in Clojure.
GraalVM compiles Java applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀
Imandra Contracts - Formal verification of smart contracts
Work on fully expansive verification of MetiTarski proofs
Imandra Modelling Language CME MDP Model
OCaml PLTP: An independent reproduction of the Boyer-Moore Pure Lisp Theorem Prover
LaTTe : a Laboratory for Type Theory experiments (in clojure)
Shen language kernel sources for porters
Infer Clojure specs from sample data. Inspired by F#'s type providers.