distributed revision control system -- historical snapshot
☆82Jan 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:
- ManKai Common Lisp☆37Jul 10, 2026Updated 2 months ago
- a cursorless text editor☆16Oct 23, 2017Updated 8 years ago
- a conforming ISLisp processor KISS☆17Feb 6, 2019Updated 7 years ago
- Wycheproof for Rust☆23Sep 10, 2026Updated last week
- Type safe abstract binding trees for Haskell, using Vinyl☆16Oct 1, 2017Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Mark3 RTOS - Mature, Flexible, Portable RTOS Kernel written in Modern C++☆13May 12, 2021Updated 5 years ago
- My branch of the Cyclone programming language☆19Jul 8, 2011Updated 15 years ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆31Aug 30, 2022Updated 4 years ago
- Spartns is a SPARse TeNSor representation library. This project moved to Gitlab☆10Apr 19, 2018Updated 8 years ago
- A reference card for GNU APL☆11Feb 19, 2025Updated last year
- Yandex AppMetrica SDK Sample for Windows☆12Sep 28, 2017Updated 8 years ago
- Import SRFI metadata into the Scheme API☆11Aug 9, 2026Updated last month
- Scheme in Rust☆15Dec 10, 2021Updated 4 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Mirror of https://gist.github.com/vurtun/75ee8b43773152930d89b7d1fdbe6450☆18Nov 26, 2019Updated 6 years ago
- Automated terminal emulator benchmarks☆23Aug 31, 2026Updated 3 weeks ago
- Remake DarkColony (1997) on OpenRA platform☆15Mar 23, 2022Updated 4 years ago
- SP-Forth x64☆16Oct 30, 2014Updated 11 years ago
- Versatile Analog Literals for Rust☆11Apr 29, 2015Updated 11 years ago
- ☆41Oct 25, 2025Updated 10 months ago
- Converts cargo check (and clippy) JSON output to the GitHub Action error format☆15Jun 17, 2024Updated 2 years ago
- A DSL for Software-Defined Satellite Applications☆25Apr 14, 2020Updated 6 years ago
- An object-oriented dialect of Scheme☆64Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Generic Range iterators for Rust☆28Jul 7, 2026Updated 2 months ago
- Safe bindings to LLVM in Rust☆11Dec 15, 2019Updated 6 years ago
- MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains☆18Dec 4, 2019Updated 6 years ago
- mDNS resolving crate for Rust☆14Jan 12, 2024Updated 2 years ago
- Utilities for making your applications more debuggable.☆16Jun 4, 2026Updated 3 months ago
- System configuration and utilities for Linux ⚙☆12Aug 30, 2026Updated 3 weeks ago
- ci assembler and disassembler☆20Nov 20, 2025Updated 10 months ago
- Fork of OpenSSH sftp-server using native Windows API☆10Dec 4, 2020Updated 5 years ago
- GFWX: Good, Fast Wavelet Codec (Rust)☆14Oct 29, 2025Updated 10 months 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.
- A demo exploring emacs vector capablities☆28Jan 21, 2021Updated 5 years ago
- Proof-of-concept implementation of the (V)OPRF protocol in https://datatracker.ietf.org/doc/draft-irtf-cfrg-voprf/☆23Aug 24, 2020Updated 6 years ago
- Pure Rust implementations of static Diffie-Hellman (and static elliptic-curve DH) key-exchange☆13Jan 12, 2021Updated 5 years ago
- Rust bindings for SPDK☆19Sep 12, 2017Updated 9 years ago
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Aug 22, 2017Updated 9 years ago
- A safe-ish wrapper for allocating, reallocating and deallocating heap buffers.☆12Jul 4, 2015Updated 11 years ago
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated 7 months ago