SophieBosio / contraLinks
A friendly functional language for finding counterexamples 🎯
☆15Updated last year
Alternatives and similar repositories for contra
Users that are interested in contra are comparing it to the libraries listed below
Sorting:
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- Reimplementation of a subset of Cabal☆35Updated last week
- The Iowa Agda Library☆53Updated last month
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Interpret Haskell programs into any cartesian closed category.☆68Updated 3 weeks ago
- high-powered optics in a small package☆53Updated 3 months ago
- Optics via the profunctor representation theorem☆24Updated last year
- Bidirectional programming in Haskell with monadic profunctors☆48Updated 3 years ago
- Haskell library for doing category theory with a central role for profunctors☆24Updated 3 weeks ago
- A compiler that translates a form of lambda calculus to C☆12Updated last year
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆29Updated 9 months ago
- Haskell implementation of data structures for data science☆24Updated 5 months ago
- Provides a type-safe way of working with permutations in Idris☆37Updated 4 years ago
- An efficient graph library for Haskell☆40Updated 4 months ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆77Updated 3 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆39Updated 3 months ago
- Fast Haskell RPC☆30Updated 2 months ago
- ☆45Updated 2 years ago
- A monadic approach to static analysis following the methodology of AAM☆18Updated 10 years ago
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆13Updated 2 weeks ago
- Fine-grained lattice primitives for Haskell☆37Updated 5 months ago
- Formalization of the polymorphic lambda calculus and its parametricity theorem☆36Updated 9 months ago
- SPJ's tutorial on implementing functional languages☆29Updated 6 years ago
- All the Transient libraries☆43Updated last week
- Where my everyday research happens☆55Updated last week
- Invertible parsing for S-expressions☆34Updated 8 months ago
- Agda-style equational reasoning in Haskell☆54Updated 8 months ago
- Anders: Cubical Type Checker☆23Updated 2 years ago
- ☆33Updated 2 months ago
- the dynabook but for haskell☆23Updated 6 years ago