isovector / certainty-by-constructionLinks
Source material for Certainty by Construction
☆43Updated last year
Alternatives and similar repositories for certainty-by-construction
Users that are interested in certainty-by-construction are comparing it to the libraries listed below
Sorting:
- Effects libraries in Haskell☆71Updated last year
- 📊 Haskell dependencies build times profiler☆73Updated 2 years ago
- ☆108Updated 2 weeks ago
- todo and unimplemented, robustly implemented☆36Updated 9 months ago
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago
- A structured concurrency library☆85Updated 3 months ago
- ☆49Updated 5 years ago
- An effect system based on type classes, written in Haskell.☆45Updated 3 years ago
- Haskell embedding of PlusCal☆61Updated 3 years ago
- Automatically generate Haskell bindings from C header files☆49Updated this week
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- Check cross-references in repository documents☆56Updated 2 months ago
- A tool suite to aid Haskell development using `cabal-install`☆86Updated 2 weeks ago
- ⛏️ A refinement proof framework for haskell☆69Updated 2 years ago
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆81Updated last week
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆50Updated 3 months ago
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆77Updated 2 years ago
- Interpret Haskell programs into any cartesian closed category.☆61Updated last month
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆72Updated 2 weeks ago
- Set breakpoints using a GHC plugin☆49Updated last year
- The Haskell Foundation Tech Proposal Process☆70Updated 10 months ago
- Libraries for the Effectful Haskell effects system☆22Updated 3 years ago
- Basics of the dependently-typed functional language Agda ^_^☆39Updated 3 years ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆94Updated 3 weeks ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- Example of usage polysemy and servant☆56Updated 5 years ago
- A tutorial on writing Haskell Language Server plugins☆70Updated 4 years ago
- ☆51Updated 2 years ago
- ☆34Updated 4 years ago
- Zippers based on lenses and traversals☆40Updated last year