ermine-language / ermineView external linksLinks
The Ermine Programming Language - Join us on irc.freenode.net #ermine
☆223Aug 20, 2018Updated 7 years ago
Alternatives and similar repositories for ermine
Users that are interested in ermine are comparing it to the libraries listed below
Sorting:
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 10 years ago
- JHC Haskell compiler split into reusable components☆57Dec 17, 2018Updated 7 years ago
- ☆41Dec 27, 2025Updated last month
- fast utf-8 character sets☆14Mar 3, 2025Updated 11 months ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- A RWS like monad without the slow writer stuff☆12Jun 17, 2023Updated 2 years ago
- Compositional type checking for Haskell☆38Apr 14, 2011Updated 14 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Oct 14, 2011Updated 14 years ago
- simple interface to ghc's simd vector support☆23Jun 25, 2015Updated 10 years ago
- Haskell package for representation, parsing, and pretty-printing of GLSL☆31Sep 19, 2023Updated 2 years ago
- The Str signature and implementations☆21May 28, 2017Updated 8 years ago
- Google Summer of Code 2012 project, GHCi for the web☆52Aug 20, 2012Updated 13 years ago
- A blazingly fast HTML combinator library for Haskell.☆251Mar 12, 2025Updated 11 months ago
- Read and write images as massiv arrays☆13Oct 23, 2021Updated 4 years ago
- Ever been so pissed you rewrote a 4500 line Java project into 300 lines of Haskell?☆14Oct 4, 2020Updated 5 years ago
- The Disco Discus Compiler☆176Feb 6, 2019Updated 7 years ago
- Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!☆208Feb 4, 2019Updated 7 years ago
- ☆60Jul 2, 2024Updated last year
- Haskell types and parsers for software version numbers.☆20Dec 12, 2025Updated 2 months ago
- Haskell libraries for implementing OAuth2 servers.☆25Jul 21, 2015Updated 10 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Jun 1, 2017Updated 8 years ago
- Richard A. Eisenberg's PhD Dissertation☆206Jul 19, 2018Updated 7 years ago
- Haskell WebAssembly Toolkit☆155Jan 18, 2025Updated last year
- A bare-bones calculus-of-constructions☆383Sep 4, 2022Updated 3 years ago
- JSON pretty-printing library and command-line tool.☆64Apr 19, 2024Updated last year
- Let GHC prove program equations for you☆146Nov 4, 2018Updated 7 years ago
- machine fusion☆16Oct 13, 2018Updated 7 years ago
- From Haskell to Hardware via CCCs☆58Jun 22, 2016Updated 9 years ago
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆378May 14, 2023Updated 2 years ago
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆161Mar 23, 2021Updated 4 years ago
- Efficient, pure binary serialisation using ByteStrings in Haskell.☆116Jan 28, 2025Updated last year
- Obsidian Language Repository☆41May 23, 2018Updated 7 years ago
- A faster date and time library based on time☆47Jan 16, 2026Updated 3 weeks ago
- Networks of composable stream transducers☆338Mar 3, 2025Updated 11 months ago
- An IO monad for PureScript.☆44Aug 2, 2018Updated 7 years ago
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆150Sep 30, 2021Updated 4 years ago
- A typeclass-based Prelude.☆109Jul 4, 2016Updated 9 years ago
- Some numerical optimization methods implemented in Haskell☆47Jun 24, 2020Updated 5 years ago
- A Purescript implementation of Elm's `core` library☆30Jun 11, 2018Updated 7 years ago