distributed revision control system -- historical snapshot
☆79Jan 29, 2014Updated 12 years ago
Alternatives and similar repositories for monotone
Users that are interested in monotone are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Swift Programming Language☆19Jan 8, 2021Updated 5 years ago
- A tool for linear and differential cryptanalysis of block ciphers written in Rust☆15Sep 28, 2022Updated 3 years ago
- ManKai Common Lisp☆37Apr 22, 2026Updated 2 weeks ago
- Wycheproof for Rust☆20Sep 3, 2025Updated 8 months ago
- Gentoo Manifest Tool — a stand-alone utility to verify & update Manifests☆29Jan 10, 2026Updated 3 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Type safe abstract binding trees for Haskell, using Vinyl☆16Oct 1, 2017Updated 8 years ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆30Aug 30, 2022Updated 3 years ago
- Tool to detect userspace-visible changes to (supposedly) at-rest data☆16Nov 5, 2023Updated 2 years ago
- [MIRROR] layman: Gentoo overlay manager☆27Oct 1, 2021Updated 4 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- Reverse proxy HTTP requests, either over raw sockets or with WAI☆57Aug 11, 2025Updated 8 months ago
- getopt(3)-like option parsing for Lua☆15Apr 27, 2019Updated 7 years ago
- Pure Lua implementation of the wcwidth() function☆18Mar 28, 2026Updated last month
- m3forth is a forth cross-compiler for cortex-m3 ARM microcontrollers☆24Oct 8, 2025Updated 7 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A reference card for GNU APL☆11Feb 19, 2025Updated last year
- Foment is an implementation of R7RS Scheme.☆70Sep 7, 2022Updated 3 years ago
- Import SRFI metadata into the Scheme API☆11Jan 19, 2026Updated 3 months ago
- Scheme in Rust☆15Dec 10, 2021Updated 4 years ago
- Toy experiment of a text editing node graph in Rust☆15Dec 31, 2017Updated 8 years ago
- Provide a reference implementation for the TTM programming language.☆10Oct 5, 2014Updated 11 years ago
- Automated terminal emulator benchmarks☆23May 1, 2026Updated last week
- Versatile Analog Literals for Rust☆11Apr 29, 2015Updated 11 years ago
- Remake DarkColony (1997) on OpenRA platform☆13Mar 23, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Wonyong Koh's hForth, for 8086 and Z80, together with my ARM port and a 3/4-baked metacompiler☆36Apr 11, 2016Updated 10 years ago
- SP-Forth x64☆17Oct 30, 2014Updated 11 years ago
- ☆41Oct 25, 2025Updated 6 months ago
- Common Lisp library for Avro☆15Feb 12, 2026Updated 2 months ago
- Ruby Regular Expression Helper Gem☆17Oct 30, 2016Updated 9 years ago
- Converts cargo check (and clippy) JSON output to the GitHub Action error format☆15Jun 17, 2024Updated last year
- Safe bindings to LLVM in Rust☆11Dec 15, 2019Updated 6 years ago
- An object-oriented dialect of Scheme☆63Mar 20, 2026Updated last month
- Robust prettyprinter for output of auto-generated Show instances☆17Dec 13, 2019Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Generic Range iterators for Rust☆28Jun 16, 2025Updated 10 months ago
- Fork of OpenSSH sftp-server using native Windows API☆10Dec 4, 2020Updated 5 years ago
- ☆30Jan 20, 2018Updated 8 years ago
- Rust bindings for SPDK☆19Sep 12, 2017Updated 8 years ago
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated 3 months ago
- Safely privileged daemon to let userspace wait on global barriers with low, constant overhead☆21Sep 11, 2019Updated 6 years ago
- data-at-rest updatable threshold encryption KMS server and client☆21Apr 16, 2026Updated 3 weeks ago