SophieBosio / contraLinks
A friendly functional language for finding counterexamples 🎯
☆13Updated 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
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆13Updated 2 months ago
- ☆44Updated 2 years ago
- Haskell library for doing category theory with a central role for profunctors☆22Updated this week
- Agda-style equational reasoning in Haskell☆54Updated 4 months ago
- An efficient graph library for Haskell☆38Updated 2 months ago
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆29Updated 5 months ago
- A monadic approach to static analysis following the methodology of AAM☆18Updated 9 years ago
- Fast Haskell RPC☆30Updated 4 months ago
- College assignment writing in which I ramble about type classes and dependent types.☆12Updated 4 years ago
- ☆27Updated 2 weeks ago
- The Iowa Agda Library☆48Updated last month
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated last month
- classical sequent calculus, embedded in Haskell☆21Updated 3 years ago
- SPJ's tutorial on implementing functional languages☆29Updated 6 years ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Agda category theory library for denotational design☆51Updated last year
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 3 years ago
- Provides a type-safe way of working with permutations in Idris☆36Updated 3 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Updated 5 years ago
- ☆31Updated 7 years ago
- Formalization of the polymorphic lambda calculus and its parametricity theorem☆35Updated 4 months ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆60Updated 2 years ago
- Interpret Haskell programs into any cartesian closed category.☆63Updated this week
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- Tutorial series introducing Agda to the people at BCAM☆27Updated 3 years ago
- Invertible parsing for S-expressions☆34Updated 4 months ago
- A compiler that translates a form of lambda calculus to C☆12Updated last year
- being a particular fragment of Haskell, extended to a proof system☆33Updated last week