Pinned 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
miniKanren
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
mtxdead10cc's Repositories
mtxdead10cc/calculus-of-constructions
Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.
mtxdead10cc/Cedille-Core
A minimal proof language.
mtxdead10cc/containerized-game-servers
A method for securely distributing your game-binaries at scale for only 10% of the network cost
mtxdead10cc/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 )
mtxdead10cc/kanrens
Various implementations of microKanren
mtxdead10cc/microKanren
The implementation of microKanren, a featherweight relational programming language
mtxdead10cc/miniKanren
mtxdead10cc/pythonvm-rust
An incomplete stackless interpreter of Python bytecode, written in Rust.
mtxdead10cc/RustPython
A Python Interpreter written in Rust
mtxdead10cc/schemy
A lightweight embeddable Scheme-like interpreter for configuration
mtxdead10cc/strips
A python implementation of the STRIPS planning algorithm
mtxdead10cc/uKanren.NET
A native implementation of the MicroKanren DSL for .NET