minad / henkLinks
pure type system language - henk 2000 ported to megaparsec, pretty
☆21Updated 9 years ago
Alternatives and similar repositories for henk
Users that are interested in henk are comparing it to the libraries listed below
Sorting:
- Clean up the formatting of 'show' output☆21Updated 3 weeks ago
- Pure Type Systems for Functional Programming☆11Updated 10 years ago
- A monad for managed values☆50Updated 2 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- ☆41Updated 7 years ago
- A simple, purely-functional programming language☆25Updated 2 years ago
- ☆40Updated 5 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 6 months ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Haskell library for semigroup actions and torsors☆62Updated 4 months ago
- Build tool for ATS.☆41Updated 3 years ago
- Lightweight package providing commonly useful parser combinators☆54Updated 4 months ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- Haskell Standard Input and Output☆46Updated 7 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- Continuously varying values, made easy :)☆42Updated 5 years ago
- ☆35Updated 8 months ago
- Example row-polymorphism implementations☆61Updated last year
- semirings and *-semirings of types in base/haskell-platform☆42Updated last year
- Haskell time library focusing on performance☆57Updated 5 months ago
- a tech demo for a bullet hell game. for the full game visit https://gilmi.me/nyx☆35Updated 6 years ago
- Nat, Fin, Vec☆25Updated last month
- Omit fields for instance deriving☆37Updated 5 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- Zippers based on lenses and traversals☆40Updated last year
- A very simple interface for incremental computation using STM in Haskell.☆13Updated 2 years ago
- Automatic type class law checking.☆24Updated 4 months ago
- ☆18Updated 4 years ago