expipiplus1 / exact-real
Exact real arithmetic in Haskell
☆25Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for exact-real
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆31Updated 2 years ago
- Artefact from the POPL'16 paper "Effects as Sessions, Sessions as Effects"☆15Updated 6 years ago
- Generic functions for single-sorted first-order structural unification☆41Updated last week
- ☆23Updated last year
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- being a collection of Agda-facilitated ramblings☆33Updated 4 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆11Updated 3 years ago
- An experimental intermediate language for GHC☆37Updated 7 years ago
- A package re-exporting the verified subset of containers☆20Updated 6 years ago
- Interpreter for functional pure type systems.☆21Updated 7 years ago
- Pure Haskell implementation of SplitMix pseudo-random number generator☆25Updated 3 months ago
- Existential type.☆36Updated 5 months ago
- GHC plugin to branch on whether a constraint is satisfied☆30Updated last year
- A library for doing generic programming in Agda☆28Updated 3 years ago
- An OS written in Idris (eventually...)☆18Updated 9 years ago
- experiments with pext/pdep and codebruijn syntax☆14Updated 4 years ago
- Keep your laziness in check!☆32Updated 2 years ago
- Type Theory with Indexed Equality☆23Updated 7 years ago
- Classes for types where we know all the values☆37Updated 5 months ago
- Script to download all of Hackage☆14Updated 5 years ago
- A package dealing with Kepler orbits.☆11Updated 2 years ago
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 4 years ago
- Fine-grained lattice primitives for Haskell☆35Updated 3 months ago
- Kleene algebra, regular expressions☆32Updated 11 months ago
- Overloaded plugin☆31Updated 4 months ago
- Deriving Storable instances using GHC.Generics☆15Updated 2 years ago