cdosborn / litLinks
A modern tool for literate programming
☆275Updated 8 years ago
Alternatives and similar repositories for lit
Users that are interested in lit are comparing it to the libraries listed below
Sorting:
- Racket parser combinators inspired by parsack and megaparsec☆81Updated 8 months ago
- ncurses binding for Haskell☆62Updated last month
- A schemy Lisp backed by Haskell☆60Updated 6 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- A command-line interface description language and parser that will make you smile☆120Updated 3 months ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- Crux Programming Language☆52Updated last week
- Loghyc - a miniKanren implementation in Hy☆88Updated 5 years ago
- A microKanren framework for implementing constraints.☆18Updated 7 years ago
- The propagator system☆41Updated 9 years ago
- Functional interfaces and datatypes for Racket☆43Updated 3 years ago
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 3 years ago
- higher order dependently typed logic programing☆173Updated 6 years ago
- A cross-platform file activity monitor☆72Updated 9 years ago
- (Somewhat) Algebraic Data Types for Racket☆34Updated 2 years ago
- An aggregation of all online content related to Haskell.☆91Updated 7 years ago
- Indentation-based Racket Syntax☆37Updated 3 years ago
- Guy Steele's RABBIT Scheme compiler☆62Updated 16 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆107Updated 2 years ago
- Canonical miniKanren implementation in Racket☆86Updated 3 years ago
- ☆94Updated 8 years ago
- Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp☆118Updated 7 years ago
- Relational Programming in miniKanren☆52Updated 10 years ago
- Noether programming language☆127Updated 8 years ago
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- xmonad with the X11 abstracted and configured with Idris☆210Updated 6 years ago
- A programming language that runs in Haskell's type system.☆253Updated 9 years ago
- The LVish Haskell library☆80Updated 2 years ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- A Racket package for creating and composing pure functional lenses☆77Updated 5 years ago