kuba-- / ut
Yet Another Efficient Unification Algorithm
☆27Updated 7 months ago
Alternatives and similar repositories for ut:
Users that are interested in ut are comparing it to the libraries listed below
- a simple Hindley-Milner type system in Go☆61Updated 7 years ago
- An interpreter for a small dialect of Forth written in Go.☆18Updated 5 years ago
- An R7RS implementation of Scheme written in Go☆13Updated 6 years ago
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆41Updated last year
- A datalog prover and interpreter in Go.☆35Updated 9 years ago
- SOM++ - C++ implementation of the Simple Object Machine Smalltalk☆12Updated 2 weeks ago
- A programming language.☆22Updated 3 years ago
- squint - Rob Pike's Newsqueak interpreter for Unix☆37Updated 12 years ago
- A horizontally scaling object store based on the CRUSH placement algorithm.☆11Updated 2 years ago
- Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript☆11Updated 3 years ago
- Cell language C++ runtime☆18Updated 4 years ago
- Parens is a highly flexible and embeddable LISP toolkit.☆33Updated 4 years ago
- small stack machine☆16Updated 4 years ago
- Hindley-Milner type system with extensible records and variants, implemented in Go☆19Updated 4 years ago
- A high availability distributed filesystem built on FoundationDB and fuse.☆17Updated 2 years ago
- A Common Lisp-like Lisp-1 in Go with TCO and partially hygienic macros☆38Updated 5 years ago
- Crit-bit tree (trie) library☆32Updated 10 years ago
- Lisp Interpreter in Go (golang) WIP☆19Updated 4 years ago
- A Go port of the lemon parser generator☆19Updated 3 weeks ago
- Lemon Parser Generator☆44Updated 5 years ago
- Go module and utility for executing machine code☆23Updated 11 months ago
- Startle C Library☆18Updated 6 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- quick c☆35Updated 3 years ago
- ☆13Updated 5 years ago
- interpreter devkit☆25Updated 5 years ago
- symbolic reachability checker☆23Updated 3 years ago
- Column-oriented binary format for immutable datasets☆9Updated 5 years ago
- ☆16Updated 3 years ago
- various predicates for ichiban/prolog☆15Updated 2 years ago