Semi-literate polyglot solutions to Advent of Code problems.
-
Updated
May 27, 2024 - Haskell
Semi-literate polyglot solutions to Advent of Code problems.
Track the publish dates of your favorite comics
Simple conversion from Agda text to literate Agda text.
Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
Output results directly to a lhs file.
mdr, the markdown runner.
Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
Advent of Code 2018
A pandoc filter to render LaTeX code blocks using minted
Generate pretty invoices from Tyme 2 logs.
Polymorphic graph ideas in Haskell
VNC Remote Desktop Client developed purely in Haskell.
Anansi is a preprocessor for literate programs, in the model of Noweb or nuweb.
Add a description, image, and links to the literate-programming topic page so that developers can more easily learn about it.
To associate your repository with the literate-programming topic, visit your repo's landing page and select "manage topics."