kuba-- / utLinks
Yet Another Efficient Unification Algorithm
☆28Updated 3 months ago
Alternatives and similar repositories for ut
Users that are interested in ut are comparing it to the libraries listed below
Sorting:
- An R7RS implementation of Scheme written in Go☆15Updated 7 years ago
- A datalog implementation in pure Lua (LPEG parser).☆22Updated 3 months ago
- An interpreter for a small dialect of Forth written in Go.☆19Updated 6 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆32Updated 6 years ago
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆43Updated 2 years ago
- A very basic Lisp + Erlang-style processes, on a virtual machine☆10Updated 9 years ago
- Just a little toy language to learn about register-based VMs.☆22Updated 13 years ago
- Extremely experimental toy go compiler☆19Updated 5 years ago
- j2 is a minimalist concatenative programming language that makes up for its simplicity by its ability to natively bind with C libraries' …☆45Updated 8 months ago
- a simple Hindley-Milner type system in Go☆65Updated 7 years ago
- Chez Scheme is a mature, high performance, light-weight, compiler construction toolkit and native code generation engine (aka Just-in-tim…☆44Updated 3 years ago
- Your happy place for learning APL☆15Updated 3 years ago
- the best functional language ever☆41Updated 6 years ago
- Formal specification of Rebol syntax☆23Updated 13 years ago
- symbolic reachability checker☆23Updated 4 years ago
- The Déjà Vu programming language☆15Updated 11 years ago
- A datalog prover and interpreter in Go.☆37Updated 10 years ago
- APL interpreter and stream processor☆134Updated 5 years ago
- A C implementation of the Shen programming language☆70Updated 4 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆39Updated 5 years ago
- A Go implementation of the Shen programming language☆61Updated 2 months ago
- Cell language C++ runtime☆18Updated 5 years ago
- interpreter devkit☆25Updated 6 years ago
- Go module and utility for executing machine code☆24Updated last year
- OMeta for Lua☆13Updated 4 years ago
- squint - Rob Pike's Newsqueak interpreter for Unix☆43Updated 13 years ago
- Leftry - A left-recursion enabled recursive-descent parser combinator library for Lua.☆38Updated 8 years ago
- quick c☆35Updated 3 years ago
- Manfred von Thun's Programming Language Joy☆16Updated 2 weeks ago
- Tiny scheme implementation written in c++17☆31Updated 7 years ago