wenkokke / unlitView external linksLinks
Tool to convert literate code between styles or to code.
☆11Jun 4, 2019Updated 6 years ago
Alternatives and similar repositories for unlit
Users that are interested in unlit are comparing it to the libraries listed below
Sorting:
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 9 years ago
- A Nix-style immutable data management library in Python☆14Mar 14, 2024Updated last year
- Machine learning model library implementing Nix ideas for configuration management☆11Sep 12, 2020Updated 5 years ago
- A simple tool for visualising differences in Criterion benchmark results☆14Apr 11, 2025Updated 10 months ago
- Playing with Haskell effect systems☆13Dec 24, 2019Updated 6 years ago
- Draw DB diagrams using GraphViz / Dot from a very simple YAML file☆23Feb 16, 2016Updated 10 years ago
- Misc material I use with notmuch mail indexer☆32Dec 18, 2022Updated 3 years ago
- ☆22May 19, 2016Updated 9 years ago
- DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.☆28Jun 27, 2019Updated 6 years ago
- Moved to https://git.sr.ht/~listx/syscfg☆29Dec 27, 2025Updated last month
- A small NuPRL style proof assistant☆31Jan 31, 2019Updated 7 years ago
- your dynamic optimization buddy☆27Sep 20, 2019Updated 6 years ago
- Yet another … yet another recursion scheme library for Haskell☆89Feb 2, 2026Updated 2 weeks ago
- A faster date and time library based on time☆47Jan 16, 2026Updated last month
- Morte IDE☆29Apr 3, 2025Updated 10 months ago
- Automatically refresh Pandoc documents in your web browser☆50Feb 7, 2017Updated 9 years ago
- An interactive Ruby shell that can also be used as a Unix shell replacement☆10May 16, 2011Updated 14 years ago
- Dockerfile of Jupyter (IPython notebook) and IOCaml (OCaml kernel) with libraries for data science and machine learning☆28Sep 5, 2017Updated 8 years ago
- Golden test support for Tasty☆42Feb 1, 2026Updated 2 weeks ago
- Gate between git and mediawiki☆31Jan 5, 2014Updated 12 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Literate Python package development with Jupyter☆12Aug 18, 2025Updated 5 months ago
- Security research organization dedicated to finding low hanging, critical, vulnerabilities.☆15May 12, 2022Updated 3 years ago
- Universal build and CI testing for Haskell packages☆94Oct 28, 2025Updated 3 months ago
- ☆11Jul 28, 2025Updated 6 months ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- My Orca Patches☆12Dec 10, 2018Updated 7 years ago
- TFTP Server employing negative latency☆16Oct 22, 2008Updated 17 years ago
- JVM bytecode assembler as REST api☆11Jul 27, 2025Updated 6 months ago
- KiCad schematics and PCB layouts for my modular synth☆10Apr 26, 2025Updated 9 months ago
- real-time ambient audio synthesizer☆11Jun 22, 2018Updated 7 years ago
- ☆11Jul 22, 2025Updated 6 months ago
- A compiler plugin to enable tests to be defined upon rust's traits.☆10Jan 2, 2020Updated 6 years ago
- Applicative lexer☆13Nov 26, 2019Updated 6 years ago
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 10 years ago
- Rust library for HTML santisation. https://docs.rs/sanitize_html/☆16Oct 20, 2025Updated 3 months ago
- Une série de programmes en python permettant de récupérer automatiquement des textes sur Gallica☆42Feb 29, 2020Updated 5 years ago
- Traversals in Rust☆21Oct 10, 2016Updated 9 years ago
- Haskell numerical ODE solvers☆14Aug 21, 2017Updated 8 years ago