isovector / certainty-by-constructionLinks
Source material for Certainty by Construction
☆44Updated 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 2 years ago
- ☆122Updated this week
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆105Updated last month
- A structured concurrency library☆85Updated 5 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆131Updated 2 years ago
- Haskell Functional Reactive Programming framework with type-level clocks☆133Updated this week
- 📊 Haskell dependencies build times profiler☆74Updated 2 years ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Example of usage polysemy and servant☆57Updated 6 years ago
- ☆50Updated 5 years ago
- ☆51Updated 3 years ago
- A Haskell blog☆148Updated last month
- The Haskell Foundation Tech Proposal Process☆70Updated last year
- 👓 Profunctor based lightweight implementation of Lenses