SophieBosio / contraView external linksLinks
A friendly functional language for finding counterexamples 🎯
☆15Jul 15, 2024Updated last year
Alternatives and similar repositories for contra
Users that are interested in contra are comparing it to the libraries listed below
Sorting:
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 5 years ago
- Experiments with eBPF bytecode☆15Jul 17, 2025Updated 6 months ago
- Grasshopper's Monadic Parser☆12May 20, 2025Updated 8 months ago
- Lenses and Traversals for Aeson, based on Microlens.☆15Dec 12, 2025Updated 2 months ago
- Automatic testing of Haskell programs.☆13Jun 10, 2025Updated 8 months ago
- A compiler that translates a form of lambda calculus to C☆12Apr 21, 2024Updated last year
- The official interpreter for the Jeopardy language☆16Dec 6, 2022Updated 3 years ago
- JSON Web Token (JWT) decoding and encoding☆21Sep 9, 2024Updated last year
- Free Algebras in Haskell☆38Aug 29, 2024Updated last year
- Read parquet format with Haskell☆18Oct 12, 2022Updated 3 years ago
- (early experiments toward) a version-control system for structured data☆19Jul 23, 2023Updated 2 years ago
- Haskell implementation of data structures for data science☆24Jan 2, 2026Updated last month
- Session Types with Priority in Linear Haskell☆27Jun 11, 2024Updated last year
- IHaskell notebooks showing how Haskell can be used in Astronomy.☆23Apr 23, 2015Updated 10 years ago
- So, you want to write a DSL interpreter...☆25Nov 20, 2018Updated 7 years ago
- Revised Omega-categorical Typechecker☆27Nov 3, 2024Updated last year
- ☆35Sep 23, 2024Updated last year
- SVG loader/serializer for Haskell☆29May 8, 2023Updated 2 years ago
- Existential type.☆37Updated this week
- The Agda Universal Algebra Library (html docs available at the url below)☆42Dec 20, 2025Updated last month
- Genetic program repair using GHC☆33May 16, 2024Updated last year
- A modern step-through debugger for GHC Haskell☆112Updated this week
- Haskell library for PDF generation (graphics and typesetting)☆27Nov 7, 2019Updated 6 years ago
- Haskell wrapper for iced☆36Jun 2, 2025Updated 8 months ago
- upbit-api on rust☆10May 28, 2025Updated 8 months ago
- Radiocarbon calibration command line tool and Haskell module☆11Nov 24, 2025Updated 2 months ago
- A monad for managed values☆51Nov 18, 2025Updated 2 months ago
- Haskell implementation of JOSE/JWT standards☆38Sep 20, 2024Updated last year
- A gatekeeper for your commits☆46Feb 4, 2026Updated last week
- The theory of algebraic graphs formalised in Agda☆91Jul 15, 2018Updated 7 years ago
- OpenAPI 3.0 for Servant☆43May 18, 2025Updated 8 months ago
- Implementation of Implicit Reparameterization Trick☆11Dec 2, 2024Updated last year
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- A renderer for sheet diagrams in bimonoidal categories☆13Aug 28, 2021Updated 4 years ago
- A Playwright MCP package in Nix☆17Jan 16, 2026Updated last month
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- join and meet semilattices, lower and upper bounds.☆48Sep 22, 2025Updated 4 months ago
- A tiny EDSL to write type-level-unit tests☆51Jan 21, 2019Updated 7 years ago
- ⌥ Simple Backus–Naur form (BNF) LaTeX package☆43Oct 31, 2025Updated 3 months ago