kuba-- / ut
Yet Another Efficient Unification Algorithm
☆27Updated 8 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 7 years ago
- interpreter devkit☆25Updated 5 years ago
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆41Updated last year
- a simple Hindley-Milner type system in Go☆63Updated 7 years ago
- Lisp Interpreter in Go (golang) WIP☆19Updated 4 years ago
- OMeta for Lua☆13Updated 4 years ago
- An interpreter for a small dialect of Forth written in Go.☆18Updated 6 years ago
- Cell language C++ runtime☆18Updated 4 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- symbolic reachability checker☆23Updated 3 years ago
- Your happy place for learning APL☆16Updated 2 years ago
- Just a little toy language to learn about register-based VMs.☆21Updated 12 years ago
- Hindley-Milner type system with extensible records and variants, implemented in Go☆21Updated 4 years ago
- A datalog implementation in pure Lua (LPEG parser).☆22Updated 2 years ago
- Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI☆13Updated last year
- Tiny lisp, simple, and embeddable scheme-like language☆26Updated last month
- Tools to create filesystem images from an fspec filesystem specification.☆16Updated last year
- Continuous Buffer☆17Updated last month
- Fast and accurate floating points conversions for C☆13Updated 2 months ago
- Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript☆11Updated 3 years ago
- Leftry - A left-recursion enabled recursive-descent parser combinator library for Lua.☆37Updated 7 years ago
- Startle C Library☆18Updated 6 years ago
- SOM++ - C++ implementation of the Simple Object Machine Smalltalk☆12Updated 2 months ago
- Pratt Top-down Operator Precedence Example in Go☆38Updated 4 years ago
- Tuile (French for tile) is a 2D graphics engine inspired from old hardware and based on layers, tiles sets, tile maps and sprites. Its sc…☆25Updated last year
- Certified proof checker for Fitch-style propositional logic proofs☆7Updated last year
- ☆12Updated 5 years ago
- A programming language.☆22Updated 3 years ago
- Parens is a highly flexible and embeddable LISP toolkit.☆33Updated 4 years ago
- TinyVG example files☆14Updated 3 years ago