Tools for making step-by-step code walkthroughs
☆142Jan 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
Sorting:
- Lua From Scratch (WIP)☆114Nov 13, 2017Updated 8 years ago
- build your own text editor☆963Nov 16, 2022Updated 3 years ago
- ☆290Nov 21, 2022Updated 3 years ago
- literate programming meets unison☆28Updated this week
- An implementation of Tarjan's Strongly Connected Components algorithm☆14Aug 25, 2019Updated 6 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- Atidot Code Snippets☆10Mar 9, 2020Updated 6 years ago
- ☆10Apr 27, 2022Updated 3 years ago
- Remembers those project specific long commands for you. Let the butler do it.☆40Apr 22, 2015Updated 10 years ago
- General Stride K-Nearest Neighbors☆14Jun 15, 2021Updated 4 years ago
- Read and do projects.☆1,882Mar 26, 2023Updated 2 years ago
- Proof that Haskell can look and act like an imperative language.☆74Jun 7, 2012Updated 13 years ago
- Language Server Protocol for Zig☆27Nov 15, 2019Updated 6 years ago
- Jupyter notebook for the Lean4 programming language☆25Apr 25, 2022Updated 3 years ago
- An assembler for the LC-3 fictitious computer.☆20May 28, 2024Updated last year
- An arrow-based parser combinator library for C☆39Apr 6, 2010Updated 15 years ago
- Cross compile minimal NixOS to aarch64☆21Aug 6, 2018Updated 7 years ago
- Website for the malleable systems and software community☆65Dec 27, 2025Updated 2 months ago
- ☆23Aug 30, 2017Updated 8 years ago
- A simple paint application written in Zig. Used to create an OpenGL loader/wrapper and a minimal UI system.☆11Aug 14, 2019Updated 6 years ago
- Requirement traceability tool for OCaml☆13Jun 21, 2015Updated 10 years ago
- A hobby operating system. Everyone's gotta have one.☆50Apr 30, 2011Updated 14 years ago
- A lighweight and parallel snapshot testing framework in rust☆37Aug 17, 2023Updated 2 years ago
- pgmigrate implements a minimalistic migration library for postgres.☆23Nov 20, 2017Updated 8 years ago
- A well-defined system API for abstracting the OS platform☆66Oct 24, 2021Updated 4 years ago
- ☆23Oct 8, 2025Updated 5 months ago
- Combinators in C☆37Jun 5, 2012Updated 13 years ago
- base32 encoding/decoding for ziglang☆16Dec 24, 2025Updated 2 months ago
- ☆24Oct 8, 2024Updated last year
- Yet another PEG parser combinator library and DSL☆56Jul 14, 2023Updated 2 years ago
- A reference implementation for a weave data structure to allow quick reconstruction of old versions of a compressed repository in version…☆17Jan 2, 2016Updated 10 years ago
- An experimental, small, readable Lisp with thorough unit tests and extensible functions/macros.☆145Aug 17, 2020Updated 5 years ago
- Tesseract OCR box file web editor☆12Jun 22, 2023Updated 2 years ago
- A complete Scheme R5RS implementation, designed to be embedded in to C and C++ applications.☆17Feb 21, 2015Updated 11 years ago
- language verification, construction, and analysis☆20Apr 2, 2022Updated 3 years ago
- Base image for Common Lisp projects with SBCL or CCL and latest ASDF, Qlot and Roswell☆41Jun 13, 2025Updated 9 months ago
- ☆39Oct 19, 2017Updated 8 years ago
- CLIM/ncurses backend/tutorial☆24Feb 26, 2020Updated 6 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆78Dec 22, 2019Updated 6 years ago