kuba-- / ut
Yet Another Efficient Unification Algorithm
☆26Updated 6 months ago
Alternatives and similar repositories for ut:
Users that are interested in ut are comparing it to the libraries listed below
- 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
- Russ Cox/Rob Pike pikevm regex implementation☆32Updated 2 years ago
- a simple Hindley-Milner type system in Go☆61Updated 6 years ago
- An interpreter for a small dialect of Forth written in Go.☆18Updated 5 years ago
- squint - Rob Pike's Newsqueak interpreter for Unix☆37Updated 12 years ago
- PEG library in Go based on LPeg☆20Updated 7 years ago
- symbolic reachability checker☆23Updated 3 years ago
- A programming language.☆22Updated 3 years ago
- A datalog prover and interpreter in Go.☆35Updated 9 years ago
- Syntax highlighting engine built using GPeg☆16Updated last year
- A compiler for the Tiger programming language targeting LLVM☆13Updated 7 years ago
- Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript☆11Updated 3 years ago
- Extremely experimental toy go compiler☆19Updated 4 years ago
- Fast 64 bit evolved hash.☆32Updated 7 years ago
- Cell language C++ runtime☆18Updated 4 years ago
- pacc: a compiler-compiler☆37Updated 8 years ago
- Port of the lemon parser generator to the Go programming language☆55Updated 3 years ago
- various predicates for ichiban/prolog☆15Updated 2 years ago
- quick c☆35Updated 2 years ago
- poetic concatenative programming language☆10Updated 6 months ago
- Crit-bit tree (trie) library☆32Updated 10 years ago
- Peggy is a PEG parser generator for Go.☆18Updated 2 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- Certified proof checker for Fitch-style propositional logic proofs☆7Updated last year
- Startle C Library☆18Updated 6 years ago
- APL interpreter and stream processor☆131Updated 4 years ago
- a stack-based concatenative virtual machine for implementing highly concurrent languages☆45Updated 11 months ago
- Pratt Top-down Operator Precedence Example in Go☆36Updated 3 years ago
- Parens is a highly flexible and embeddable LISP toolkit.☆33Updated 4 years ago