robdockins / edisonLinks
Edison: A Library of Efficient Data Structures
☆56Updated 4 months ago
Alternatives and similar repositories for edison
Users that are interested in edison are comparing it to the libraries listed below
Sorting:
- JVM implementation in Haskell☆44Updated 11 months ago
- Measure time complexity empirically.☆48Updated 9 years ago
- Dive into GHC☆82Updated 8 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆57Updated 7 years ago
- QuickCheck extras.☆29Updated 6 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 4 years ago
- ☆40Updated 7 years ago
- a simple functional language for learners☆30Updated 8 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- Clojure-style transients for Haskell☆33Updated 3 years ago
- playground for working with succinct data structures☆97Updated 9 years ago
- A type-checker for Haskell with integer constraints☆42Updated 10 years ago
- Another implementation of Frank.☆70Updated 8 years ago
- Compositional type checking for Haskell☆37Updated 14 years ago
- Type provider library for Idris☆94Updated 7 years ago
- ☆41Updated 8 years ago
- An implementation of the Core language☆30Updated 9 years ago
- Dump GHC's abstract syntax trees☆41Updated 3 years ago
- being some experiments, working towards some equipment I wish I had☆37Updated 9 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆71Updated 10 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 6 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- Mindless, verified (erasably) coding using dependent types☆105Updated 9 years ago
- Link to preprints for POPL'18 and colocated events☆86Updated 7 years ago
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆45Updated 8 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆78Updated 5 years ago
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Updated 7 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago