parlarjb / finding_bugs_no_codeLinks
☆11Updated 6 years ago
Alternatives and similar repositories for finding_bugs_no_code
Users that are interested in finding_bugs_no_code are comparing it to the libraries listed below
Sorting:
- Type Your Matrices For Great Good☆29Updated 5 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆71Updated 10 years ago
- GHC patched with the -fcompact-holes flag☆11Updated 7 years ago
- A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited c…☆27Updated 7 years ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆64Updated 6 months ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 8 years ago
- BDD-based implementation of Datalog☆37Updated 5 years ago
- A monad for interfacing with external SAT solvers☆65Updated 7 months ago
- could it be?☆18Updated 6 months ago
- A lambda calculus to explore type-directed program synthesis.☆85Updated 6 years ago
- Comparing Haskell effect systems for ergonomics and speed☆66Updated 4 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 7 years ago
- Bidirectional programming in Haskell with monadic profunctors☆48Updated 3 years ago
- Play Minesweeper by formally proving your moves in Idris☆169Updated last year
- ICFP 2020 papers. Crowd-sourced☆90Updated 5 years ago
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Updated 6 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated last month
- ☆28Updated 7 years ago
- Wailing into the primordial ooze of category theory☆55Updated this week
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 2 weeks ago
- Dependently typed Algorithm M and friends☆26Updated 7 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆37Updated 5 years ago
- join and meet semilattices, lower and upper bounds.☆48Updated 4 months ago
- a search engine for humans☆19Updated 3 years ago
- A fast open-union type, suitable for 100+ contained alternatives.☆100Updated last year
- Stroll: an experimental build system☆42Updated 2 years ago
- Haskell embedding of PlusCal☆62Updated 3 years ago
- Trie-based memo functions☆94Updated last month
- Dependently Typed Lambda Calculus in Haskell☆116Updated 4 years ago
- ☆22Updated 10 years ago