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
Sorting:
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 10 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
- being the beginnings of at least zero typecheckers☆34Apr 13, 2017Updated 8 years ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆19Dec 12, 2025Updated 2 months ago
- A PostgreSQL backed queue☆16Jan 21, 2020Updated 6 years ago
- being a slightly rethought version of the Frank implementation☆23Feb 9, 2016Updated 10 years ago
- A minimalist approach to an OpenTracing for Haskell☆17Dec 19, 2021Updated 4 years ago
- New Relic® agent SDK wrapper for Haskell☆13Dec 27, 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
- Formal semantics in Agda.☆16Jul 2, 2015Updated 10 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Jan 19, 2017Updated 9 years ago
- Haskell libraries for OpenTracing.io☆16May 21, 2018Updated 7 years ago
- Accepted papers for Haskell 2014☆52May 19, 2016Updated 9 years ago
- System F implemented in Haskell☆24Mar 15, 2012Updated 13 years ago
- secret project☆17Mar 14, 2018Updated 7 years ago
- Lenses and traversals for xml-conduit☆50Jun 26, 2025Updated 8 months ago
- Type safe abstract binding trees for Haskell, using Vinyl☆16Oct 1, 2017Updated 8 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Jun 16, 2024Updated last year
- A dependently typed type checker for a TT with intervals☆24Feb 6, 2020Updated 6 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆29Jul 22, 2021Updated 4 years ago
- Extensible HTTP Web server configured entirely by a yaml file☆25Dec 14, 2017Updated 8 years ago
- Logical relations proof in Agda☆27May 27, 2015Updated 10 years ago
- MixML prototype interpreter☆27Dec 13, 2019Updated 6 years ago
- These are the slides and script I used to present my talk at the 8th European Lisp Symposium at Goldsmiths in London in April, 2015.☆18Apr 20, 2015Updated 10 years ago
- React.js for GHCJS☆26Oct 21, 2016Updated 9 years ago
- Use hpack's phrasing in dhall to write cabal files☆31Jan 12, 2025Updated last year
- being the materials for "Datatypes of Datatypes" at the Summer School on Generic and Effectful Programming, Oxford☆20Jul 10, 2015Updated 10 years ago
- A simple compiler for a simple imperative language, written in OCaml☆25Jan 31, 2019Updated 7 years ago
- A total recursion scheme library for Dhall☆66Feb 16, 2026Updated 2 weeks ago
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated last month
- OpenSSL binding for Haskell☆24Jan 31, 2026Updated last month
- Learn the Agda basics in three 2-hour sessions.☆60Sep 26, 2025Updated 5 months ago
- Haskell implementation of the Edinburgh Logical Framework☆32Jan 12, 2026Updated last month
- Dependently typed Algorithm M and friends☆26Jun 2, 2018Updated 7 years ago
- being the introduction to co-de-Bruijn metasyntax☆23Apr 29, 2022Updated 3 years ago
- Icicle Streaming Query Language☆28Jan 20, 2026Updated last month
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago