kuba-- / utLinks
Yet Another Efficient Unification Algorithm
☆27Updated 9 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
- Region based memory allocator☆15Updated 5 years ago
- A high availability distributed filesystem built on FoundationDB and fuse.☆18Updated 2 years ago
- The Clara programming language☆9Updated 3 years ago
- SOM++ - C++ implementation of the Simple Object Machine Smalltalk☆12Updated last week
- Startle C Library☆18Updated 6 years ago
- Just a little toy language to learn about register-based VMs.☆21Updated 12 years ago
- symbolic reachability checker☆23Updated 3 years ago
- Compiler from Webassembly to native binaries☆11Updated last year
- a simple Hindley-Milner type system in Go☆63Updated 7 years ago
- A programming language.☆22Updated 3 years ago
- An R7RS implementation of Scheme written in Go☆13Updated 7 years ago
- FunL programming language☆23Updated 5 months ago
- squint - Rob Pike's Newsqueak interpreter for Unix☆39Updated 12 years ago
- Your happy place for learning APL☆16Updated 2 years ago
- Combinators in C☆38Updated 12 years ago
- ☆13Updated 4 years ago
- various predicates for ichiban/prolog☆15Updated 2 years ago
- WDTE is a simple, functional-ish, embedded scripting language.☆21Updated 2 years ago
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆41Updated last year
- A low-level, C, stream-based, asynchronous 9P implementation☆12Updated 11 years ago
- Lisp Interpreter in Go (golang) WIP☆19Updated 4 years ago
- A statically typed binary tree in Go without casts or reflection☆19Updated 12 years ago
- interpreter devkit☆25Updated 5 years ago
- x86-64 instruction encoder in Go☆21Updated 5 years ago
- Micro TCL on Golang☆12Updated 10 years ago
- programming language compiler w/ llvm☆13Updated 7 years ago
- Go module and utility for executing machine code☆24Updated last year
- Fast and accurate floating points conversions for C☆13Updated 2 months ago
- Tiny lisp, simple, and embeddable scheme-like language☆26Updated this week