mmirman / ImperativeHaskell
Proof that Haskell can look and act like an imperative language.
☆73Updated 12 years ago
Alternatives and similar repositories for ImperativeHaskell:
Users that are interested in ImperativeHaskell are comparing it to the libraries listed below
- ☆23Updated 7 years ago
- Try Idris☆35Updated 9 years ago
- ☆41Updated 7 years ago
- Because Kmett is not expressive enough. You need CoKmett!☆35Updated 11 years ago
- Monadic Javascript Compiler☆73Updated 8 years ago
- GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2☆20Updated 5 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Haskell types and parsers for software version numbers.☆20Updated last week
- Recursion schemes for Idris☆64Updated 6 years ago
- Haskell 98 contravariant functors☆73Updated 3 months ago
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Updated last year
- ☆15Updated 2 years ago
- phantom types☆38Updated 2 weeks ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 8 months ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Updated 7 years ago
- Library for invertible parsing and printing☆31Updated 8 months ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 6 years ago
- it's a starcraft clone but with a dope typesystem☆49Updated 4 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Fixed length vector for haskell☆21Updated last month
- simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.☆60Updated last year
- the EitherT monad transformer☆55Updated 9 months ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 2 months ago
- JVM implementation in Haskell☆44Updated 5 months ago
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Updated 2 years ago
- ☆33Updated 4 years ago
- Transactional cache with configurable persistence☆47Updated last year
- Call-by-need values☆30Updated 2 years ago
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated 3 months ago
- An implementation of the Core language☆30Updated 9 years ago