mmirman / ImperativeHaskellLinks
Proof that Haskell can look and act like an imperative language.
☆74Updated 13 years ago
Alternatives and similar repositories for ImperativeHaskell
Users that are interested in ImperativeHaskell are comparing it to the libraries listed below
Sorting:
- Monadic Javascript Compiler☆73Updated 9 years ago
- The Disco Discus Compiler☆174Updated 6 years ago
- Dive into GHC☆82Updated 8 years ago
- ☆41Updated 8 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 4 years ago
- Slides & demos for talks I do☆58Updated last month
- An alternate definition of Haskell's Functor typeclass☆42Updated 6 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Haskell library for simple, concise and fast generic operations.☆82Updated 2 years ago
- An implementation of the Core language☆30Updated 10 years ago
- Clojure-style transients for Haskell☆34Updated 3 years ago
- JVM implementation in Haskell☆44Updated last year
- Translate Pascal into Haskell☆51Updated 6 years ago
- ☆33Updated 9 years ago
- a simple functional language for learners☆30Updated 8 years ago
- Dump GHC's abstract syntax trees☆41Updated 3 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆49Updated 11 months ago
- Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff☆14Updated 7 years ago
- Because Kmett is not expressive enough. You need CoKmett!☆35Updated 12 years ago
- Typed filepath☆125Updated 9 months ago
- A simple UI for evaluating expressions in the untyped lambda calculus☆56Updated 2 years ago
- First class composable record labels for Haskell.☆68Updated 3 weeks ago
- Evaluation-orthogonal serialisation of Haskell data, as a library☆62Updated 10 months ago
- it's a starcraft clone but with a dope typesystem☆51Updated 5 years ago
- ☆32Updated 9 years ago
- Measure time complexity empirically.☆48Updated 9 years ago
- Simple lambda prover☆24Updated 10 years ago
- Companion code to the talk "Finite Flights on an Infinite Plane" (http://www.meetup.com/santa-monica-haskell/events/227156054/)☆15Updated 6 months ago
- Online version of GHCi that supports safely executing untrusted code.☆26Updated 9 years ago
- Open records for Haskell☆22Updated 8 years ago