A literate programming system for any language.
☆122Jan 14, 2024Updated 2 years ago
Alternatives and similar repositories for srcweave
Users that are interested in srcweave are comparing it to the libraries listed below
Sorting:
- A literate programming tool for any language☆901Jul 10, 2022Updated 3 years ago
- WASM compatible RPython fork☆34Jun 16, 2023Updated 2 years ago
- a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…☆15Dec 29, 2021Updated 4 years ago
- ☆22Apr 1, 2013Updated 12 years ago
- Highly opionated Github Actions workflow builder for Common Lisp projects.☆18Feb 25, 2025Updated last year
- Examples of literate programming by Knuth☆40Jun 22, 2025Updated 8 months ago
- Tool for loading and testing native shaders translated from crosstl☆13Dec 15, 2024Updated last year
- remark preset to configure remark-lint with settings that enforce standard-readme.☆14Mar 22, 2021Updated 4 years ago
- Links pertaining to the Forth programming language☆48Apr 9, 2024Updated last year
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 9 years ago
- PilOS - A Stand-Alone Operating System☆14Aug 1, 2017Updated 8 years ago
- Common Lisp front-end to CL-PDF and Vecto☆13Apr 30, 2022Updated 3 years ago
- unfinished port of https://learnopengl.com/ example code to CL☆12May 16, 2020Updated 5 years ago
- RKD - RiotKit DO. Task executor - balance between Makefile and Gradle. Written in Python. Powerful tool for every DevOps. Automates produ…☆10May 6, 2022Updated 3 years ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆16Feb 20, 2026Updated 2 weeks ago
- ☆11Nov 16, 2021Updated 4 years ago
- Implement a Stack VM Interpreter with a Register Window☆11Jan 2, 2024Updated 2 years ago
- Code to go with my article "The AWK book's 60-line version of Make"☆15Sep 10, 2023Updated 2 years ago
- Janet bindings for GitHub's fork of cmark☆17Nov 23, 2025Updated 3 months ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆15Jun 21, 2021Updated 4 years ago
- Prolog Technology Theorem Prover☆13Jun 19, 2024Updated last year
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Feb 10, 2026Updated 3 weeks ago
- A simple interpreter featuring a tracing JIT☆16Mar 28, 2011Updated 14 years ago
- Implementation of a circular queue in hardware using verilog.☆17Mar 22, 2019Updated 6 years ago
- exploration of reflective architectures in Scheme☆21May 20, 2022Updated 3 years ago
- A vega-lite DSL for Common Lisp☆34Updated this week
- The noweb tool for literate programming☆295Oct 23, 2024Updated last year
- A programming argot☆57Apr 10, 2024Updated last year
- An easily forkable commonplace book of interesting, VERY well-annoted code in any language. Take it and add your own.☆41Jan 28, 2014Updated 12 years ago
- A collection of lambda calculus interpreters and development tools☆16Oct 9, 2022Updated 3 years ago
- ☆14Jul 15, 2022Updated 3 years ago
- experimental computational medium and supporting tools☆23Feb 25, 2026Updated last week
- MIRROR of https://codeberg.org/catseye/Tamsin : Somewhere between a meta-language, a programming language, and a rubbish lister☆18Nov 1, 2023Updated 2 years ago
- Allows injecting .NET code into another Windows process☆19Updated this week
- A tiny Emacs editor core with a tiny Lisp extention language☆30May 1, 2017Updated 8 years ago
- Portable implementation of quasiquote for Common Lisp☆31Jan 26, 2026Updated last month
- Course on Metaprogramming☆76Feb 5, 2026Updated last month
- Lightweight JVM, might work with MCU-less ARM controller boards (I hope)☆13Oct 3, 2013Updated 12 years ago
- File format and optimizer for programs encoded in binary lambda calculus☆17Jan 21, 2024Updated 2 years ago