kuba-- / utLinks
Yet Another Efficient Unification Algorithm
☆27Updated 10 months ago
Alternatives and similar repositories for ut
Users that are interested in ut are comparing it to the libraries listed below
Sorting:
- An interpreter for a small dialect of Forth written in Go.☆18Updated 6 years ago
- Russ Cox/Rob Pike pikevm regex implementation☆33Updated last week
- a simple Hindley-Milner type system in Go☆63Updated 7 years ago
- Your happy place for learning APL☆16Updated 2 years ago
- Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI☆13Updated 2 years ago
- symbolic reachability checker☆23Updated 3 years ago
- A high availability distributed filesystem built on FoundationDB and fuse.☆18Updated 2 years ago
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆42Updated last year
- Just a little toy language to learn about register-based VMs.☆21Updated 12 years ago
- Crit-bit tree (trie) library☆32Updated 11 years ago
- A programming language.☆22Updated 3 years ago
- Certified proof checker for Fitch-style propositional logic proofs☆7Updated last year
- META II compiler, assembler and bytecode interpreter.☆17Updated 6 years ago
- 🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax☆15Updated 4 years ago
- Startle C Library☆18Updated 6 years ago
- various predicates for ichiban/prolog☆15Updated 2 years ago
- An R7RS implementation of Scheme written in Go☆13Updated 7 years ago
- Go module and utility for executing machine code☆24Updated last year
- A statically typed binary tree in Go without casts or reflection☆19Updated 12 years ago
- SOM++ - C++ implementation of the Simple Object Machine Smalltalk☆12Updated 3 weeks ago
- A datalog prover and interpreter in Go.☆36Updated 9 years ago
- ☆15Updated 8 years ago
- DIQL: Data Intensive Query Language☆12Updated 4 years ago
- Hindley-Milner type system with extensible records and variants, implemented in Go☆21Updated 4 years ago
- ☆13Updated 4 years ago
- OMeta for Lua☆13Updated 4 years ago
- Fast 64 bit evolved hash.☆32Updated 8 years ago
- squint - Rob Pike's Newsqueak interpreter for Unix☆39Updated 12 years ago
- Combinators in C☆38Updated 13 years ago
- A low-level, C, stream-based, asynchronous 9P implementation☆12Updated 11 years ago