A tiny statically typed programming language
☆18Jul 22, 2014Updated 11 years ago
Alternatives and similar repositories for Molecule
Users that are interested in Molecule are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Jan 19, 2017Updated 9 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- Experiments with effect systems☆12Apr 18, 2016Updated 9 years ago
- being a thing I build on a Saturday☆28Mar 5, 2018Updated 8 years ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆19Dec 12, 2025Updated 3 months ago
- A minimalist approach to an OpenTracing for Haskell☆17Dec 19, 2021Updated 4 years ago
- Haskell libraries for OpenTracing.io☆16May 21, 2018Updated 7 years ago
- A total recursion scheme library for Dhall☆66Feb 16, 2026Updated last month
- Lenses and traversals for xml-conduit☆50Jun 26, 2025Updated 8 months ago
- being the beginnings of at least zero typecheckers☆34Apr 13, 2017Updated 8 years ago
- secret project☆17Mar 14, 2018Updated 8 years ago
- A PostgreSQL backed queue☆16Jan 21, 2020Updated 6 years ago
- New Relic® agent SDK wrapper for Haskell☆13Dec 27, 2017Updated 8 years ago
- ☆10Oct 24, 2016Updated 9 years ago
- Extensible HTTP Web server configured entirely by a yaml file☆25Dec 14, 2017Updated 8 years ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Jul 24, 2016Updated 9 years ago
- Accepted papers for Haskell 2014☆52May 19, 2016Updated 9 years ago
- Take an array of token and produce a more useful API to give to a parser☆12Aug 16, 2024Updated last year
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆29Jul 22, 2021Updated 4 years ago
- Yet another … yet another recursion scheme library for Haskell☆89Mar 13, 2026Updated last week
- System F implemented in Haskell☆24Mar 15, 2012Updated 14 years ago
- being a slightly rethought version of the Frank implementation☆23Feb 9, 2016Updated 10 years ago
- A tiny language for teaching and experimenting with Refinement Types☆49Jun 22, 2021Updated 4 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- Free ideas, worth every penny☆33Nov 4, 2020Updated 5 years ago
- A dependently typed type checker for a TT with intervals☆24Feb 6, 2020Updated 6 years ago
- React.js for GHCJS☆26Oct 21, 2016Updated 9 years ago
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated 2 months ago
- Elmer compiler☆12Oct 17, 2016Updated 9 years ago
- Type safe abstract binding trees for Haskell, using Vinyl☆16Oct 1, 2017Updated 8 years ago
- Interpreter for GHC Haskell☆22Nov 9, 2019Updated 6 years ago
- Formal semantics in Agda.☆16Jul 2, 2015Updated 10 years ago
- First steps in Machine Learning☆12Mar 18, 2015Updated 11 years ago
- Haskell implementation of the Edinburgh Logical Framework☆32Jan 12, 2026Updated 2 months ago
- Experiments in implementing functional data structures in Idris☆15Jul 25, 2019Updated 6 years ago
- Use hpack's phrasing in dhall to write cabal files☆31Jan 12, 2025Updated last year
- OpenSSL binding for Haskell☆24Jan 31, 2026Updated last month
- A simple compiler from the lambda calculus to MIPS assembly☆20May 19, 2017Updated 8 years ago
- An interpreter for a small ML-ish language☆11Oct 6, 2017Updated 8 years ago