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:
- 📊 Haskell dependencies build times profiler☆73Updated 2 years ago
- Effects libraries in Haskell☆71Updated last year
- todo and unimplemented, robustly implemented☆36Updated 8 months ago
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago
- ☆51Updated 2 years ago
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 4 months ago
- Comparing Haskell effect systems for ergonomics and speed☆66Updated 4 years ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆50Updated 2 months ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- The Haskell Foundation Tech Proposal Process☆70Updated 9 months ago
- ☆105Updated last week
- Improving all Haskell's programmer interfaces☆74Updated 4 months ago
- ☆49Updated 5 years ago
- type level sets☆67Updated 5 years ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆77Updated 2 years ago
- 👓 Profunctor based lightweight implementation of Lenses☆71Updated 2 years ago
- A tool suite to aid Haskell development using `cabal-install`☆86Updated last week
- Yet another yet another recursion scheme library in Haskell.☆89Updated last month
- high-powered optics in a small package☆53Updated 8 months ago
- Active streaming declarative programmers. See who's online at the following URL:☆67Updated last year
- A structured concurrency library☆86Updated 3 months ago
- Example of usage polysemy and servant☆56Updated 5 years ago
- Learn the Agda basics in three 2-hour sessions.☆57Updated last year
- Haskell embedding of PlusCal☆61Updated 3 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated 2 years ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆99Updated 3 weeks ago
- Check cross-references in repository documents☆56Updated 2 months ago
- ☆93Updated last year