mmirman / ImperativeHaskell
Proof that Haskell can look and act like an imperative language.
☆74Updated 12 years ago
Alternatives and similar repositories for ImperativeHaskell:
Users that are interested in ImperativeHaskell are comparing it to the libraries listed below
- Monadic Javascript Compiler☆73Updated 8 years ago
- ☆41Updated 7 years ago
- Monad morphisms☆50Updated 2 years ago
- phantom types☆38Updated last month
- JVM implementation in Haskell☆44Updated 6 months ago
- it's a starcraft clone but with a dope typesystem☆49Updated 4 years ago
- Delete half (minus ε) of your Haskell code!☆30Updated last month
- haskell memory☆48Updated last year
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 3 months ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- Agda-style equational reasoning in Haskell☆52Updated 2 months ago
- An implementation of the Core language☆30Updated 9 years ago
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Updated 2 years ago
- Type-safe time units in Haskell☆49Updated last month
- Haskell 98 contravariant functors☆73Updated 5 months ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- ☆20Updated 5 years ago
- High-resolution clock functions: monotonic, realtime, cputime.☆59Updated last year
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.☆60Updated last year
- Recursion schemes for Idris☆64Updated 6 years ago
- ☆44Updated 2 weeks ago
- A two-dimensional parser combinator library.☆41Updated 7 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated this week
- Hood debugger, based on the idea of observing functions and structures as they are evaluated.☆19Updated 6 years ago
- The Alms Programming Language☆44Updated 6 years ago
- Haskell library for glob matching☆25Updated 3 years ago
- Slides & demos for talks I do☆59Updated 4 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 9 months ago
- Dump GHC's abstract syntax trees☆41Updated 2 years ago