nominolo / atto-lispView external linksLinks
Efficient parsing and encoding of Lisp expressions for Haskell.
☆25Feb 13, 2020Updated 6 years ago
Alternatives and similar repositories for atto-lisp
Users that are interested in atto-lisp are comparing it to the libraries listed below
Sorting:
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Dec 1, 2014Updated 11 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- fast unique variables☆10Aug 23, 2025Updated 5 months ago
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- Frege Interpreter☆15Jun 13, 2020Updated 5 years ago
- fast utf-8 character sets☆14Mar 3, 2025Updated 11 months ago
- Extensions for *scratch* buffer of Emacs☆13Jun 17, 2022Updated 3 years ago
- State machines with async I/O capabilities☆12Apr 13, 2023Updated 2 years ago
- CSS parser and renderer.☆16Aug 19, 2020Updated 5 years ago
- Library classes for the Twelf Proof System☆24Jun 16, 2020Updated 5 years ago
- A REPL for nix expressions in your browser☆13May 5, 2018Updated 7 years ago
- Utilities for using the Fay Haskell-to-JS compiler with Yesod.☆24Apr 30, 2019Updated 6 years ago
- Thread-Safe Pools / Distributed Pools for Common Lisp.☆15Jan 20, 2026Updated 3 weeks ago
- Martin-Löf Extensible Specification and Simulator☆29Jul 1, 2015Updated 10 years ago
- Tuple data structures.☆15Jan 4, 2017Updated 9 years ago
- Archived materials related to Homotopy Type Theory.☆12Apr 24, 2012Updated 13 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 7 years ago
- A Scala-style magic function application form☆43Jul 31, 2022Updated 3 years ago
- ☆13Nov 21, 2025Updated 2 months ago
- Interactive-diagrams☆39May 18, 2015Updated 10 years ago
- ☆11May 18, 2016Updated 9 years ago
- Easy C++ code analysis with pure Haskell☆35Sep 25, 2024Updated last year
- Haskell Semantics with Lisp Syntax☆73Jan 13, 2014Updated 12 years ago
- Some numerical optimization methods implemented in Haskell☆47Jun 24, 2020Updated 5 years ago
- playing with hyperfunctions☆16May 2, 2021Updated 4 years ago
- Command-line tool for formatting and publishing blog posts.☆20Aug 19, 2023Updated 2 years ago
- Fixed length vector for haskell☆21Jan 27, 2026Updated 2 weeks ago
- Deep evaluation of data structures☆43Jun 14, 2025Updated 8 months ago
- Poor Richard's Memory Manager☆15Apr 13, 2021Updated 4 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Dec 24, 2018Updated 7 years ago
- Optional values☆18Sep 17, 2022Updated 3 years ago
- Simple indentation sensitive parser-combinators for parsec☆20Oct 2, 2023Updated 2 years ago
- A wrapper for Node's Stream API☆19Jan 26, 2025Updated last year
- ☆60Jul 2, 2024Updated last year
- PureScript compiler written in PureScript (On hold / inactive)☆61Nov 2, 2014Updated 11 years ago
- The metacircular evaluator(ish)☆17Aug 28, 2015Updated 10 years ago
- lazy continued fractions☆19Aug 5, 2015Updated 10 years ago
- Knowledge of classical mechanics, written in haskell.☆14Feb 11, 2013Updated 13 years ago
- IPython-style interaction for Cryptol☆15Dec 5, 2016Updated 9 years ago