nominolo / atto-lisp
Efficient parsing and encoding of Lisp expressions for Haskell.
☆24Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for atto-lisp
- The generalized intensional compiler for a Haskell-like language.☆14Updated 6 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- A natural transformation package☆16Updated last week
- Invertible parsing for S-expressions☆33Updated last month
- BibTeX database management in Idris☆18Updated 10 years ago
- Deep evaluation of data structures☆41Updated 2 months ago
- The most complete prelude formed only from the "base" package☆28Updated last year
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- ☆21Updated 7 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- being the programs and code for a paper about general recursion☆24Updated 9 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆22Updated 8 years ago
- Fixed length vector for haskell☆21Updated 7 months ago
- TODO☆10Updated 9 years ago
- An attempt to formalize unix cat in fiat☆12Updated 7 years ago
- Typed DSLs for sorting☆19Updated 6 years ago
- Dependently typed elimination functions using singletons☆28Updated 2 weeks ago
- An HTTP Client in Haskell Based on Free Monads☆10Updated 8 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 6 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆34Updated 2 weeks ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- Exploratory new work on a Haskell Lisp☆16Updated 8 years ago
- Official collection of YASnippet Haskell snippets for Emacs.☆12Updated 3 years ago
- Bindings to Haskell's IO monad which respect Agda's semantics☆24Updated 5 years ago
- System POSIX bindings for Idris.☆36Updated 5 years ago
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Updated last year
- A small in-terminal dungeon crawler written in Haskell☆11Updated 6 years ago
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated last week
- More strongly typed variant of the ixset Haskell package☆23Updated 2 months ago