pcarbonn / H-CalcLinks
So, you want to write a DSL interpreter...
☆25Updated 6 years ago
Alternatives and similar repositories for H-Calc
Users that are interested in H-Calc are comparing it to the libraries listed below
Sorting:
- Provides a type-safe way of working with permutations in Idris☆36Updated 3 years ago
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated last month
- An experiment in functional interface design☆24Updated 8 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Efficient parser combinators for Haskell☆39Updated last month
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- System F implemented in Haskell☆24Updated 13 years ago
- 🌋 Idris implementation of patricia tree☆23Updated 4 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 8 months ago
- Haskell embedding of PlusCal☆61Updated 3 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- SPJ's tutorial on implementing functional languages☆29Updated 5 years ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated 2 years ago
- Grow procedual art☆37Updated 3 months ago
- Recursion schemes for Idris☆65Updated 6 years ago
- Dependently typed elimination functions using singletons☆28Updated 6 months ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Updated 10 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- Classy error-handling (and dispatching!) in Haskell.☆46Updated 5 years ago
- being a collection of Agda-facilitated ramblings☆33Updated 5 years ago
- (NOTE: REPOSITORY MOVED TO NEW OWNER: https://github.com/lexi-lambda/monad-validate) A Haskell monad transformer library for data validat…☆32Updated 3 years ago
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆31Updated last year
- Web front UI for interactive Haskell projects☆33Updated 5 years ago
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- Web Development without programming☆44Updated 2 years ago