kuba-- / utLinks
Yet Another Efficient Unification Algorithm
☆27Updated last year
Alternatives and similar repositories for ut
Users that are interested in ut are comparing it to the libraries listed below
Sorting:
- An R7RS implementation of Scheme written in Go☆13Updated 7 years ago
- An interpreter for a small dialect of Forth written in Go.☆19Updated 6 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆31Updated 6 years ago
- a simple Hindley-Milner type system in Go☆64Updated 7 years ago
- Cell language C++ runtime☆18Updated 5 years ago
- the best functional language ever☆40Updated 6 years ago
- Extremely experimental toy go compiler☆19Updated 4 years ago
- Port of the lemon parser generator to the Go programming language☆57Updated 4 years ago
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆43Updated 2 years ago
- APL interpreter and stream processor☆133Updated 4 years ago
- Lisp Interpreter in Go (golang) WIP☆19Updated 5 years ago
- quick c☆35Updated 3 years ago
- Startle C Library☆18Updated 6 years ago
- A Go implementation of the Shen programming language☆59Updated 2 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 5 months ago
- pacc: a compiler-compiler☆37Updated 9 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- Counting the collisions with perl hash tables per function☆12Updated 6 years ago
- A datalog prover and interpreter in Go.☆38Updated 9 years ago
- symbolic reachability checker☆23Updated 4 years ago
- ☆42Updated 2 years ago
- Go module and utility for executing machine code☆24Updated last year
- Implementation of the data structures described in the paper "Fast Compressed Tries using Path Decomposition".☆57Updated 2 years ago
- SOM++ - C++ implementation of the Simple Object Machine Smalltalk☆13Updated last month
- interpreter devkit☆25Updated 5 years ago
- OMeta for Lua☆13Updated 4 years ago
- Just a little toy language to learn about register-based VMs.☆22Updated 13 years ago
- Regionalized Value State Dependence Graph written in Rust☆11Updated 5 years ago
- AA-tree implementation in C☆30Updated last month
- Backtrace.io's resilient log record framing format☆40Updated 3 years ago