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 6 years ago
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆41Updated last year
- Lisp Interpreter in Go (golang) WIP☆19Updated 4 years ago
- An interpreter for a small dialect of Forth written in Go.☆18Updated 6 years ago
- A Common Lisp-like Lisp-1 in Go with TCO and partially hygienic macros☆38Updated 5 years ago
- Cell language C++ runtime☆18Updated 4 years ago
- Port of the lemon parser generator to the Go programming language☆56Updated 3 years ago
- A high availability distributed filesystem built on FoundationDB and fuse.☆18Updated 2 years ago
- x86-64 instruction encoder in Go☆21Updated 5 years ago
- Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI☆13Updated last year
- interpreter devkit☆25Updated 5 years ago
- Just a little toy language to learn about register-based VMs.☆21Updated 12 years ago
- A go port of the janet programming language.☆10Updated 5 years ago
- Startle C Library☆18Updated 6 years ago
- Russ Cox/Rob Pike pikevm regex implementation☆32Updated 2 years ago
- A Go port of the lemon parser generator☆20Updated last month
- A compiler for a Standard-ML like language that generates code suitable for embedded computers.☆10Updated last year
- Peggy is a PEG parser generator for Go.☆19Updated 2 years ago
- Certified proof checker for Fitch-style propositional logic proofs☆7Updated last year
- Go module and utility for executing machine code☆23Updated last year
- Lemon Parser Generator☆44Updated 5 years ago
- Manfred von Thun's Programming Language Joy☆16Updated 3 months ago
- A programming language.☆22Updated 3 years ago
- FunL programming language☆23Updated 4 months ago
- The Clara programming language☆9Updated 3 years ago
- A C peg parser generator (a fork of peg/leg)☆23Updated 2 years ago
- Parens is a highly flexible and embeddable LISP toolkit.☆33Updated 4 years ago
- symbolic reachability checker☆23Updated 3 years ago
- A rethinking of the C time library☆10Updated 2 months ago
- APL-like functions for use from Lua.☆18Updated 10 years ago