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
- The Iowa Agda Library☆53Updated 2 months ago
- ☆45Updated 2 years ago
- Invertible parsing for S-expressions☆34Updated 9 months ago
- Formalization of the polymorphic lambda calculus and its parametricity theorem☆36Updated 10 months ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Bidirectional programming in Haskell with monadic profunctors☆48Updated 3 years ago
- Provides a type-safe way of working with permutations in Idris☆37Updated 4 years ago
- being a particular fragment of Haskell, extended to a proof system☆43Updated last month
- A formalization of category theory in cubical Agda☆59Updated 5 years ago
- Reimplementation of a subset of Cabal☆35Updated last week
- A monadic approach to static analysis following the methodology of AAM☆18Updated 10 years ago
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆29Updated 10 months ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆61Updated 2 years ago
- high-powered optics in a small package☆53Updated 3 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆40Updated 4 months ago
- Haskell embedding of PlusCal☆62Updated 3 years ago
- SPJ's tutorial on implementing functional languages☆29Updated 6 years ago
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆13Updated last month
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Updated this week
- Linear Types, Symmetric Monoidal Categories, and Tensors☆13Updated 3 months ago
- ☆14Updated 2 months ago
- the dynabook but for haskell☆23Updated 6 years ago
- Agda-style equational reasoning in Haskell☆54Updated 9 months ago
- Basics of the dependently-typed functional language Agda ^_^☆41Updated 4 years ago
- Automatic piecewise-mutable references for your types☆42Updated 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
- GRIN backend for Idris☆50Updated 5 years ago
- Where my everyday research happens☆55Updated last week
- A Haskell monad transformer library for data validation☆38Updated 2 years ago