kuba-- / ut
Yet Another Efficient Unification Algorithm
☆25Updated last month
Related projects: ⓘ
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆37Updated last year
- a simple Hindley-Milner type system in Go☆59Updated 6 years ago
- A datalog prover and interpreter in Go.☆33Updated 8 years ago
- An interpreter for a small dialect of Forth written in Go.☆18Updated 5 years ago
- An LLVM-clone in Golang☆10Updated 8 years ago
- The Geode Programming Language☆16Updated 4 years ago
- An R7RS implementation of Scheme written in Go☆13Updated 6 years ago
- Extremely experimental toy go compiler☆19Updated 3 years ago
- Programming with Spaces in Go☆11Updated 6 years ago
- Binary floating-point formats in Go (IEEE 754 half and quadruple precision, x86 extended precision and PowerPC quadruple precision with d…☆24Updated 2 years ago
- Go module and utility for executing machine code☆22Updated 5 months ago
- Parens is a highly flexible and embeddable LISP toolkit.☆33Updated 3 years ago
- Graph layouting package☆24Updated 2 years ago
- A basic Forth parser written in Go.☆23Updated 13 years ago
- the best functional language ever☆40Updated 5 years ago
- x86-64 instruction encoder in Go☆21Updated 4 years ago
- Golang Hash Array Map Trie☆11Updated 2 years ago
- Golang implementation of datalog, port of MITRE corporation's lua implementation☆21Updated 3 years ago
- Go implementation of SipHash-64/128☆14Updated 2 years ago
- A high availability distributed filesystem built on FoundationDB and fuse.☆14Updated last year
- Automatically exported from code.google.com/p/go-gt☆11Updated 9 years ago
- squint - Rob Pike's Newsqueak interpreter for Unix☆34Updated 11 years ago
- A Common Lisp-like Lisp-1 in Go with TCO and partially hygienic macros☆36Updated 4 years ago
- programming language compiler w/ llvm☆13Updated 6 years ago
- WDTE is a simple, functional-ish, embedded scripting language.☆20Updated last year
- symbolic reachability checker☆22Updated 2 years ago
- Lemon Parser Generator☆41Updated 5 years ago
- Russ Cox/Rob Pike pikevm regex implementation☆28Updated 2 years ago
- A statically typed binary tree in Go without casts or reflection☆19Updated 11 years ago
- A programming language.☆22Updated 2 years ago