Tools for making step-by-step code walkthroughs
☆149Jan 11, 2021Updated 5 years ago
Alternatives and similar repositories for leg
Users that are interested in leg are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- build your own text editor☆1,000May 15, 2026Updated 5 months ago
- Lua From Scratch (WIP)☆119Nov 13, 2017Updated 8 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 6 years ago
- An implementation of Tarjan's Strongly Connected Components algorithm☆14Aug 25, 2019Updated 7 years ago
- Atidot Code Snippets☆10Mar 9, 2020Updated 6 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.
- General Stride K-Nearest Neighbors☆14Jun 15, 2021Updated 5 years ago
- Fuzzing the Nix interpreter with afl-fuzz☆10Feb 11, 2020Updated 6 years ago
- ☆14Aug 4, 2022Updated 4 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 10 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆68Oct 8, 2017Updated 9 years ago
- Super tiny tap output library☆12Oct 13, 2023Updated 3 years ago
- Arbitrary dimension type-safe grids☆24Nov 16, 2023Updated 2 years ago
- A DSL for Stencil Codes☆14Nov 27, 2024Updated last year
- Language Server Protocol for Zig☆28Nov 15, 2019Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Eltanin Linux distribution☆19Mar 25, 2024Updated 2 years ago
- Implement a Stack VM Interpreter with a Register Window☆12Jan 2, 2024Updated 2 years ago
- Clang UPC Front-End☆17Jan 24, 2022Updated 4 years ago
- Requirement traceability tool for OCaml☆13Jun 21, 2015Updated 11 years ago
- Jupyter notebook for the Lean4 programming language☆25Apr 25, 2022Updated 4 years ago
- Website for the malleable systems and software community☆68Oct 29, 2026Updated last week
- ☆23Aug 30, 2017Updated 9 years ago
- zig fmt on the web☆43Jan 7, 2020Updated 6 years ago
- Elite Planet Name Generator☆10Feb 18, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- h2 version of the Sakila database☆14Jun 9, 2026Updated 5 months ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆164Aug 28, 2019Updated 7 years ago
- ☆23Oct 8, 2025Updated last year
- Alternative implementation of foliant documentation genertor in Nim.☆10Dec 6, 2016Updated 9 years ago
- mal - Make a Lisp☆10,759Oct 22, 2025Updated last year
- language verification, construction, and analysis☆21Apr 2, 2022Updated 4 years ago
- OS X and Linux compatible battery utilities☆11Feb 24, 2023Updated 3 years ago
- Literate coq blog posts☆17Jan 13, 2016Updated 10 years ago
- [v old and outdated] automated cut-up poetry over large corpora☆15Sep 25, 2014Updated 12 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.
- ☆13Feb 28, 2017Updated 9 years ago
- Self-like language implemented in the RPython language toolkit.☆32Apr 30, 2021Updated 5 years ago
- Genetic BF programming☆61Aug 20, 2025Updated last year
- Functional combinators for strategy-based tree-rewriting in Clojure☆15Jul 25, 2013Updated 13 years ago
- An experimental, small, readable Lisp with thorough unit tests and extensible functions/macros.☆145Aug 17, 2020Updated 6 years ago
- A well-defined system API for abstracting the OS platform☆66Oct 24, 2021Updated 5 years ago
- The Governing Dynamics of Software - ITP Class on Language Design☆13Feb 11, 2014Updated 12 years ago