kuba-- / ut
Yet Another Efficient Unification Algorithm
☆26Updated 5 months ago
Alternatives and similar repositories for ut:
Users that are interested in ut are comparing it to the libraries listed below
- Pratt Top-down Operator Precedence Example in Go☆37Updated 3 years ago
- a simple Hindley-Milner type system in Go☆61Updated 6 years ago
- Programming with Spaces in Go☆11Updated 6 years ago
- An interpreter for a small dialect of Forth written in Go.☆18Updated 5 years ago
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆41Updated last year
- An R7RS implementation of Scheme written in Go☆13Updated 6 years ago
- SOM++ - C++ implementation of the Simple Object Machine Smalltalk☆12Updated 2 months ago
- An LLVM-clone in Golang☆10Updated 9 years ago
- Graph layouting package☆24Updated 2 years ago
- Hindley-Milner type system with extensible records and variants, implemented in Go☆18Updated 4 years ago
- Chez Scheme is a mature, high performance, light-weight, compiler construction toolkit and native code generation engine (aka Just-in-tim…☆37Updated 2 years ago
- Lisp Interpreter in Go (golang) WIP☆19Updated 4 years ago
- A statically typed binary tree in Go without casts or reflection☆19Updated 11 years ago
- A datalog prover and interpreter in Go.☆34Updated 9 years ago
- ☆15Updated 7 years ago
- Syntax highlighting engine built using GPeg☆16Updated 11 months ago
- The Geode Programming Language☆16Updated 5 years ago
- SSA Package☆10Updated 7 years ago
- Vgo is a compiler for vector expressions. It generates SSE2 code for amd64.☆34Updated 7 years ago
- LALR parser generator written in native zig☆8Updated 5 years ago
- Cell language C++ runtime☆17Updated 4 years ago
- Golang Hash Array Map Trie☆11Updated 2 years ago
- Simple Parser Combinators in Go☆14Updated 6 years ago
- x86-64 instruction encoder in Go☆21Updated 5 years ago
- Just a little toy language to learn about register-based VMs.☆21Updated 12 years ago
- OMeta for Lua☆13Updated 3 years ago
- Golang implementation of datalog, port of MITRE corporation's lua implementation☆23Updated 4 years ago
- A Common Lisp-like Lisp-1 in Go with TCO and partially hygienic macros☆37Updated 5 years ago
- Fast 64 bit evolved hash.☆32Updated 7 years ago
- Certified proof checker for Fitch-style propositional logic proofs☆7Updated last year