bramcohen / WeaveLinks
A reference implementation for a weave data structure to allow quick reconstruction of old versions of a compressed repository in version control systems
☆17Updated 9 years ago
Alternatives and similar repositories for Weave
Users that are interested in Weave are comparing it to the libraries listed below
Sorting:
- An ergonomic, mobile-first, Prolog playground!☆31Updated 3 years ago
- A bare-metal actor operating system for Raspberry Pi.☆67Updated 3 months ago
- A concise programming language that is fun to use☆16Updated 9 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- The Coil Programming Language☆33Updated last year
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆124Updated 12 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆83Updated 2 months ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- Learning Constraint Programming with Picat☆51Updated last month
- Variaous articles☆79Updated 2 years ago
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Updated 4 years ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- Function EXpression Language (interpreter for functional programs)☆84Updated 2 months ago
- This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…☆88Updated 2 years ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆29Updated 3 years ago
- Small utilities and vocabularies implemented in the Factor programming language.☆151Updated last week
- A wiki and web-services based development environment for Awelon project☆91Updated 6 years ago
- Programming language for ternary computing☆31Updated 4 years ago
- GitHub copy of the NTS/TeX source code from 2001☆32Updated 4 years ago
- A compiler from Forth to Scratch☆22Updated 9 years ago
- a minimal vector programming language☆181Updated 5 years ago
- A virtual machine for Monte.☆68Updated last month
- ☆104Updated 3 years ago
- Run erlang as a WASI http server (vapourware)☆28Updated last year
- A web application server with built-in object capability security built on Node.js/Express☆15Updated 5 years ago
- A lisp-looking language with interpreter and compiler to JS☆28Updated 6 years ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆16Updated 9 years ago
- ISBL - Information Systems Base Language☆19Updated 11 years ago