christian-marie / burn
Wildfire "simulation" with co-state co-monads representing cellular automata
☆10Updated 8 years ago
Alternatives and similar repositories for burn:
Users that are interested in burn are comparing it to the libraries listed below
- Directed rounding and interval arithmetics with builtin floating types☆11Updated 2 years ago
- phantom types☆38Updated last month
- A small bifunctor library for idris☆21Updated 4 years ago
- ☆23Updated 7 years ago
- Visualization of Haskell data structures☆15Updated 11 months ago
- Simple helper functions to work with optparse-applicative☆29Updated 3 years ago
- Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.☆25Updated 7 years ago
- Interval Arithmetic☆27Updated last week
- Dependently typed elimination functions using singletons☆28Updated last month
- Finitely represented /total/ maps☆15Updated 5 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Updated 4 years ago
- Computing lenses generically using generics-sop☆16Updated 3 months ago
- A natural transformation package☆16Updated 3 months ago
- Applicative lexer☆13Updated 5 years ago
- Show programming language printed values in a web UI☆24Updated 5 years ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- Concurrency for the pipes ecosystem☆43Updated 2 years ago
- Quiver stream processing library☆15Updated 8 years ago
- A Haskell client library for Cayley database graph☆14Updated 5 months ago
- Reasonable Haskell default import☆27Updated 2 years ago
- Experiments in abstracting definitional interpreters☆16Updated 7 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆16Updated 2 months ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Updated 8 years ago
- playing with hyperfunctions☆16Updated 3 years ago
- Type-level lenses using singletons because why not☆15Updated 6 years ago
- Declare that a typeclass instance should not exist.☆11Updated 8 months ago
- Simple comparative benchmarks for CSV parsing libraries☆17Updated 6 years ago
- Commonly useful extensions for the MMark markdown processor☆11Updated 2 months ago
- Agda-style equational reasoning in Haskell☆52Updated 3 weeks ago
- Lens interface for your filesystem☆22Updated 4 years ago