kuba-- / utLinks
Yet Another Efficient Unification Algorithm
☆27Updated 10 months ago
Alternatives and similar repositories for ut
Users that are interested in ut are comparing it to the libraries listed below
Sorting:
- Startle C Library☆18Updated 6 years ago
- Just a little toy language to learn about register-based VMs.☆21Updated 12 years ago
- Tools to create filesystem images from an fspec filesystem specification.☆16Updated last year
- A high availability distributed filesystem built on FoundationDB and fuse.☆18Updated 2 years ago
- ☆23Updated 3 years ago
- An interpreter for a small dialect of Forth written in Go.☆18Updated 6 years ago
- Region based memory allocator☆15Updated 5 years ago
- Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript☆11Updated 3 years ago
- Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI☆13Updated 2 years ago
- symbolic reachability checker☆23Updated 3 years ago
- An R7RS implementation of Scheme written in Go☆13Updated 7 years ago
- SOM++ - C++ implementation of the Simple Object Machine Smalltalk☆12Updated this week
- Pixel-based voxel viewer (aka. fake 3D)☆11Updated 7 years ago
- Russ Cox/Rob Pike pikevm regex implementation☆33Updated 3 weeks ago
- interpreter devkit☆25Updated 5 years ago
- Crit-bit tree (trie) library☆32Updated 11 years ago
- Small C example using libtcc, for C and GLSL live code editing☆18Updated 5 years ago
- Manfred von Thun's Programming Language Joy☆16Updated 5 months ago
- Your happy place for learning APL☆16Updated 2 years ago
- Pratt Top-down Operator Precedence Example in Go☆40Updated 4 years ago
- various predicates for ichiban/prolog☆15Updated 2 years ago
- sce -- minimalist console editor (no highlighting, no plugins, no modes, no Emacs)☆14Updated 10 months ago
- OMeta for Lua☆13Updated 4 years ago
- A proof-of-concept for a fast regex matcher using lossy NFA matching on SIMD☆12Updated 6 years ago
- a simple Hindley-Milner type system in Go☆63Updated 7 years ago
- An experimental language with compile time bounds checking☆15Updated 5 years ago
- mirror of ecl from gitlab☆17Updated 7 months ago
- A decentralized linux distribution.☆12Updated 3 years ago
- specification, reference implementation, and examples of Evo, the programming language made for being the DNA of genetic algorithms☆18Updated 3 years ago
- ☆13Updated 4 years ago