nominolo / atto-lisp
Efficient parsing and encoding of Lisp expressions for Haskell.
☆24Updated 5 years ago
Alternatives and similar repositories for atto-lisp:
Users that are interested in atto-lisp are comparing it to the libraries listed below
- Invertible parsing for S-expressions☆34Updated last month
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Updated 7 years ago
- ☆23Updated 7 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- A library for generating RSS 2.0 feeds.☆18Updated 10 months ago
- Deep evaluation of data structures☆41Updated 8 months ago
- Dependently typed elimination functions using singletons☆28Updated 4 months ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 6 months ago
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Updated 7 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- TODO☆10Updated 9 years ago
- Haskell reimplementation of Selecta☆16Updated 5 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- Haskell combinators for executing IO actions in parallel on a thread pool☆47Updated last year
- A playground for type theory implementations in Racket☆20Updated 9 years ago
- An attempt to formalize unix cat in fiat☆12Updated 7 years ago
- Hakyll support for Agda literate files☆19Updated 3 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 5 years ago
- phantom types☆38Updated 3 months ago
- Typed DSLs for sorting☆19Updated 7 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 3 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆22Updated 9 years ago
- Deprecated in favour of https://github.com/tonyday567/numhask☆14Updated 8 years ago
- playing with hyperfunctions☆16Updated 4 years ago
- Haskell routes using dependent types☆10Updated 8 years ago
- A natural transformation package☆16Updated 2 months ago
- Combinators for bidirectional JSON parsing☆21Updated 10 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago