ekmett / badLinks
a playground for working with fully static tensors and automatic differentiation
☆16Updated 4 years ago
Alternatives and similar repositories for bad
Users that are interested in bad are comparing it to the libraries listed below
Sorting:
- Paper and talk☆55Updated 2 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆45Updated 3 years ago
- rewrite rules for type-level equalities☆62Updated 4 months ago
- Profunctor optics for the endofunctor category on Hask☆27Updated 5 years ago
- Fast equality saturation in Haskell☆92Updated 3 weeks ago
- Type Your Matrices For Great Good☆29Updated 5 years ago
- Generic functions for single-sorted first-order structural unification☆45Updated 8 months ago
- Efficient Haskell effect handlers based on evidence translation.☆85Updated 4 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆84Updated 4 years ago
- Toy language to show the conversion of embedded higher-order abstract syntax (HOAS)☆21Updated 12 years ago
- Haskell monad transformer for weighted, non-deterministic computation☆31Updated 11 months ago
- ☆23Updated 2 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆29Updated 4 years ago
- Haskell bindings to ArrayFire☆60Updated last year
- half-precision floating-point☆17Updated 3 months ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆63Updated 5 months ago
- Bidirectional programming in Haskell with monadic profunctors☆48Updated 3 years ago
- apkg - package manager for Agda☆38Updated 4 years ago
- Fine-grained lattice primitives for Haskell☆37Updated 6 months ago
- Quantitative Type Theory implementation☆54Updated 4 years ago
- Staged Streams and other stuff☆19Updated 3 years ago
- higher-kinded data☆30Updated 2 years ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆57Updated 6 years ago
- NbE course @ Chalmers☆28Updated last year
- ☆32Updated 7 years ago
- Self-contained repository for the eponymous paper☆30Updated 7 years ago
- Demonstrating how to make type families faster using typechecker plugins☆21Updated 5 years ago
- being a programming language for sequential circuits☆22Updated last month
- Bring fusion to everyone☆14Updated 5 years ago
- being a collection of Agda-facilitated ramblings☆33Updated 5 years ago