The Ermine Programming Language - Join us on irc.freenode.net #ermine
☆225Aug 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 10 years ago
- Ever been so pissed you rewrote a 4500 line Java project into 300 lines of Haskell?☆14Oct 4, 2020Updated 5 years ago
- Compositional type checking for Haskell☆38Apr 14, 2011Updated 15 years ago
- fast utf-8 character sets☆14Mar 3, 2025Updated last year
- JHC Haskell compiler split into reusable components☆58Dec 17, 2018Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The Str signature and implementations☆21May 28, 2017Updated 9 years ago
- Knowledge of classical mechanics, written in haskell.☆14Feb 11, 2013Updated 13 years ago
- A RWS like monad without the slow writer stuff☆12Jun 17, 2023Updated 2 years ago
- Haskell package for representation, parsing, and pretty-printing of GLSL☆32Sep 19, 2023Updated 2 years ago
- machine fusion☆16Oct 13, 2018Updated 7 years ago
- Self-describing consumers/parsers☆43Aug 31, 2018Updated 7 years ago
- static analysis of free monads☆24Jul 10, 2018Updated 7 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Jun 1, 2017Updated 9 years ago
- Read and write images as massiv arrays☆14Oct 23, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆377May 14, 2023Updated 3 years ago
- Networks of composable stream transducers☆339Mar 3, 2025Updated last year
- An IO monad for PureScript.☆44Aug 2, 2018Updated 7 years ago
- Delete half (minus ε) of your Haskell code!☆30May 24, 2026Updated 2 weeks ago
- Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!☆208Feb 4, 2019Updated 7 years ago
- A Purescript implementation of Elm's `core` library☆30Jun 11, 2018Updated 7 years ago
- A bare-bones calculus-of-constructions☆384Sep 4, 2022Updated 3 years ago
- A small bifunctor library for idris☆21Dec 28, 2020Updated 5 years ago
- Richard A. Eisenberg's PhD Dissertation☆207Jul 19, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- The Disco Discus Compiler☆177Feb 6, 2019Updated 7 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Apr 13, 2015Updated 11 years ago
- Filling and manupulation with histograms☆17Mar 10, 2025Updated last year
- Lollimon, a monadic concurrent linear logic programming language☆28Oct 14, 2011Updated 14 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- simple interface to ghc's simd vector support☆23Jun 25, 2015Updated 10 years ago
- ☆18Aug 31, 2022Updated 3 years ago
- Flush system metrics to statsd☆26Jan 8, 2026Updated 5 months ago
- Let GHC prove program equations for you☆146Nov 4, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Haskell libraries for implementing OAuth2 servers.☆25Jul 21, 2015Updated 10 years ago
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆163Mar 23, 2021Updated 5 years ago
- ☆41Dec 27, 2025Updated 5 months ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Mar 19, 2016Updated 10 years ago
- compile your own functional language☆36May 9, 2019Updated 7 years ago
- A lightweight (but compatible with ‘lens’) lenses library☆297Sep 29, 2025Updated 8 months ago
- A faster date and time library based on time☆47Apr 8, 2026Updated 2 months ago