Joel J's repositories
calculus-of-constructions
Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.
Cedille-Core
A minimal proof language.
containerized-game-servers
A method for securely distributing your game-binaries at scale for only 10% of the network cost
csharp_ukanren
A port of microKanren (Ruby) to CSharp (the f# versions mentioned on the ukanren site look more interesting https://github.com/kurtschelfthout/FsLogic )
kanrens
Various implementations of microKanren
microKanren
The implementation of microKanren, a featherweight relational programming language
pythonvm-rust
An incomplete stackless interpreter of Python bytecode, written in Rust.
RustPython
A Python Interpreter written in Rust
schemy
A lightweight embeddable Scheme-like interpreter for configuration
strips
A python implementation of the STRIPS planning algorithm
uKanren.NET
A native implementation of the MicroKanren DSL for .NET