ermine-language / ermine
The Ermine Programming Language - Join us on irc.freenode.net #ermine
☆218Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for ermine
- The Disco Discus Compiler☆174Updated 5 years ago
- A pure Haskell implementation of Datalog☆102Updated 4 years ago
- Mutable hash tables for Haskell, in the ST monad☆125Updated this week
- Implementation of cryptographic primitives using Idris☆121Updated 6 years ago
- Distributed programming language that desugars to Morte☆91Updated 2 years ago
- Convert lambda expressions to CCC combinators☆146Updated 8 years ago
- The Haskell Refactoring Tool☆139Updated 7 years ago
- Various data structures for use in the Idris Language.☆95Updated 4 years ago
- The Haskell Refactoring Tool☆136Updated 4 years ago
- Networks of composable stream transducers☆340Updated last year
- This is an umbrella development repository for Cloud Haskell☆72Updated 6 years ago
- A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API☆127Updated 2 years ago
- A proper network library for Idris, now that I know what I'm doing.☆57Updated 8 years ago
- Another implementation of Frank.☆70Updated 7 years ago
- Collection of Idris tests and demonstration programs☆190Updated 6 years ago
- Dive into GHC☆82Updated 7 years ago
- Generic parser combinators☆88Updated 3 weeks ago
- Type provider library for Idris☆92Updated 6 years ago
- Type classes for mapping, folding, and traversing monomorphic containers☆155Updated this week
- xmonad with the X11 abstracted and configured with Idris☆206Updated 5 years ago
- Transactional key-value store written entirely in Haskell☆93Updated 3 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 7 years ago
- A Haskell implementation of the Shen programming language.☆162Updated 6 years ago
- Language independent type-safe communication☆133Updated 6 years ago
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆99Updated last year
- A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web brow…☆140Updated 3 years ago
- Kafka bindings for Haskell☆72Updated 7 years ago