kuba-- / utLinks
Yet Another Efficient Unification Algorithm
☆27Updated 11 months ago
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 datalog implementation in pure Lua (LPEG parser).☆22Updated 2 years ago
- A very basic Lisp + Erlang-style processes, on a virtual machine☆10Updated 8 years ago
- Cell language C++ runtime☆18Updated 4 years ago
- A Go implementation of the Shen programming language☆59Updated 2 years ago
- a simple Hindley-Milner type system in Go☆64Updated 7 years ago
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆43Updated last year
- j2 is a minimalist concatenative programming language that makes up for its simplicity by its ability to natively bind with C libraries' …☆45Updated 2 months ago
- Startle C Library☆18Updated 6 years ago
- Tiny scheme implementation written in c++17☆30Updated 6 years ago
- A compiler for a Standard-ML like language that generates code suitable for embedded computers.☆10Updated 2 years ago
- APL interpreter and stream processor☆131Updated 4 years ago
- A programming language☆14Updated 10 years ago
- Lisp Interpreter in Go (golang) WIP☆19Updated 4 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- OMeta for Lua☆13Updated 4 years ago
- interpreter devkit☆25Updated 5 years ago
- Formal specification of Rebol syntax☆22Updated 13 years ago
- Extremely experimental toy go compiler☆19Updated 4 years ago
- Your happy place for learning APL☆16Updated 2 years ago
- Futspace is a voxel based graphics engine implemented in Futhark☆9Updated 4 years ago
- single file scheme interpreter with tail call optimization☆82Updated 6 years ago
- APL-like functions for use from Lua.☆18Updated 10 years ago
- SOM++ - C++ implementation of the Simple Object Machine Smalltalk☆13Updated 2 weeks ago
- Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/☆41Updated 3 years ago
- quick c☆35Updated 3 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 2 months ago
- Distributed Lisp interpreter in Erlang.☆11Updated 8 years ago