☆28Dec 30, 2015Updated 10 years ago
Alternatives and similar repositories for ed
Users that are interested in ed are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Multi-threaded library for cellular automata☆13Oct 11, 2021Updated 4 years ago
- Simple assembly programs for the Little Computer 3 (LC-3) simulator.☆10Apr 24, 2014Updated 11 years ago
- Very small self-compiling cross compiler for a subset of C☆15Oct 28, 2025Updated 4 months ago
- Minimalist Operating System designed to implement as much functionality as possible with a budget of 1000 Lines of Code☆12Sep 28, 2016Updated 9 years ago
- A next-gen, massively parallel, beta-optimal functional runtime.☆10Jan 3, 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.
- Self-replicating, self-modifying Assembly program that can evolve into every possible computer program in the universe (EXPERIMENTAL)☆63Nov 23, 2020Updated 5 years ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆16Mar 10, 2026Updated 2 weeks ago
- A simple Makefile based project for WCH's CHV32V range of RISCV uControllers☆14Jun 22, 2025Updated 9 months ago
- A book about BIM modeling with FreeCAD and other open-source tools☆15Jun 27, 2023Updated 2 years ago
- Immutable (a.k.a. persistent or pure-functional) deque, set, and map data structures in portable Scheme.☆14Sep 14, 2020Updated 5 years ago
- Convenient & cross-platform sandboxing C library☆45Sep 24, 2025Updated 6 months ago
- Data collection toolkit for social media analytics ported to Python 3.☆12Jun 3, 2017Updated 8 years ago
- OTCC Deobfuscated and Explained☆46Apr 28, 2023Updated 2 years ago
- OCaml library for partially ordered maps☆15Nov 28, 2025Updated 3 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Binary rational numbers in Coq [maintainer=@herbelin]☆15Dec 30, 2023Updated 2 years ago
- Lenses in Coq☆17Oct 7, 2022Updated 3 years ago
- ☆17Feb 27, 2023Updated 3 years ago
- GPU-based interaction nets evaluator☆18Nov 30, 2011Updated 14 years ago
- efence Malloc debugger☆16Oct 28, 2012Updated 13 years ago
- Wagtail extension for RSS and twitter aggregator feature☆16Jan 9, 2021Updated 5 years ago
- A Python GUI tool for analysing and visualising 2D truss structures, simplifying engineering calculations.☆12Mar 5, 2024Updated 2 years ago
- HTTP specification in Coq, testable and verifiable☆18Feb 22, 2026Updated last month
- Toaster, made in lustre, for Gleam☆25Dec 24, 2025Updated 3 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Peter Selinger's LaTeX macros for Fitch style natural deduction☆19Dec 17, 2023Updated 2 years ago
- Transmit AM radio signal with your monitor☆20Apr 30, 2014Updated 11 years ago
- Predictive Machine Learning projects☆15Oct 26, 2017Updated 8 years ago
- Fork of Dodo workbench☆26Mar 15, 2026Updated last week
- Nix Expressions for Altera(Intel) Quartus☆17Oct 28, 2020Updated 5 years ago
- 2D game engine for Common Lisp☆12Jun 5, 2012Updated 13 years ago
- Small C to WebAsssembly compiler developed for the Compilers course at UFES☆16Mar 15, 2022Updated 4 years ago
- QuickFIX 101: Building a Sample Trading App☆19Oct 9, 2020Updated 5 years ago
- OpenEdoo Core☆13Oct 4, 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 and start building anything your business needs.
- Rebar3 plugin to build Rust crates (unmaintained). See https://github.com/filmor/rebar3_rust/tree/update for more recent work.☆10Sep 26, 2018Updated 7 years ago
- A (in-development) Coq mechanization of WebAssembly specification.☆21Oct 1, 2021Updated 4 years ago
- A tiny Lua based pixel/chiptune engine☆12Nov 22, 2017Updated 8 years ago
- Formalization of Linear Logic in Coq☆18Apr 7, 2025Updated 11 months ago
- Command Line Implementation for Node Cron Under 20 Lines.☆10Jul 16, 2021Updated 4 years ago
- Argument parsing library for C.☆13Dec 7, 2015Updated 10 years ago
- Custom Printed Submarine☆19Aug 4, 2022Updated 3 years ago