A modern tool for literate programming
☆277Apr 17, 2017Updated 8 years ago
Alternatives and similar repositories for lit
Users that are interested in lit are comparing it to the libraries listed below
Sorting:
- A port of QuickCheck to Idris☆60Oct 30, 2017Updated 8 years ago
- Haskell Snake clone.☆35Apr 29, 2012Updated 13 years ago
- Disassembly viewer for Vim☆10Mar 12, 2018Updated 7 years ago
- unfinished port of https://learnopengl.com/ example code to CL☆12May 16, 2020Updated 5 years ago
- ☆10Apr 27, 2022Updated 3 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms☆16Jan 13, 2025Updated last year
- A command-line password manager☆32Apr 1, 2016Updated 9 years ago
- Sample code to build a C library from a Haskell module, then call it from C☆16Jun 22, 2017Updated 8 years ago
- Common Lisp packrat parser☆16Aug 26, 2018Updated 7 years ago
- a TUI app for chatting on Twitch☆12Dec 29, 2023Updated 2 years ago
- Push programming language interpreter implemented in Elixir☆13Jun 10, 2017Updated 8 years ago
- Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar☆21May 4, 2015Updated 10 years ago
- experimental computational medium and supporting tools☆23Feb 25, 2026Updated last week
- A Mix plugin to use Caramel☆15Oct 24, 2021Updated 4 years ago
- an implementation of forth in the rust programming language☆33Jul 20, 2016Updated 9 years ago
- 📐Reason/OCaml rules and tools for Bazel☆19Sep 26, 2018Updated 7 years ago
- haskell implementation of garbled circuits☆12Dec 3, 2017Updated 8 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16May 4, 2018Updated 7 years ago
- A Haskell library supporting flexible, dynamic file-based configuration.☆16May 15, 2019Updated 6 years ago
- Clojure in Common Lisp☆19Jun 20, 2023Updated 2 years ago
- This is an old repo. See: https://github.com/FellowTraveler/opentxs☆80Aug 20, 2024Updated last year
- Reactive programming at the variable/function level for Common Lisp☆37Jan 16, 2023Updated 3 years ago
- The completeness of Djula meets the usability of Eco.☆38Jul 15, 2024Updated last year
- A pragmatic, functional systems programming language.☆43May 18, 2015Updated 10 years ago
- simple interface to ghc's simd vector support☆23Jun 25, 2015Updated 10 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Sep 28, 2015Updated 10 years ago
- personal pimp for plan9's great acme editor☆16Jun 20, 2016Updated 9 years ago
- Pinocchio VM☆21Oct 1, 2020Updated 5 years ago
- A Haskell binding for the OpenAL Utility Toolkit, which makes managing of OpenAL contexts, loading sounds in various formats and creating…☆15Aug 2, 2023Updated 2 years ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Oct 24, 2019Updated 6 years ago
- ☆25Jun 1, 2011Updated 14 years ago
- Proofs of the number of inhabitants of polymorphic functions☆23Jul 19, 2018Updated 7 years ago
- Closette - a toy Common Lisp Object System (CLOS) described in The Art of the Metaobject Protocol (AMOP)☆24Oct 31, 2016Updated 9 years ago
- A Common Lisp library for computing differences between files☆30Aug 9, 2013Updated 12 years ago
- Rules for writing academic papers and checking them using LTex-ls and LanguageTool☆19Feb 18, 2025Updated last year
- A Haskell number theory library.☆15Jul 3, 2017Updated 8 years ago
- An English Grammar Dictionary and a Natural Language Parser --- in Common Lisp and Prolog☆23Sep 29, 2013Updated 12 years ago
- Alpine ISO image generation scripts (mirror)☆17Dec 17, 2018Updated 7 years ago