parlarjb / finding_bugs_no_codeLinks
☆11Updated 5 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:
- A Frege port of the GeoQuiz application from the Android BigNerd Ranch Book.☆11Updated 8 years ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- State machines in Idris☆37Updated 8 years ago
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- static analysis of free monads☆24Updated 7 years ago
- Braid representations in Haskell☆22Updated last year
- SVG Combinators for Haskell☆23Updated 8 years ago
- QuickCheck extras.☆29Updated 6 years ago
- Because Kmett is not expressive enough. You need CoKmett!☆35Updated 11 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- Finite state machines as graphs☆59Updated 5 years ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- A more elegant specification for FRP☆24Updated last year
- QuadTree library for Haskell, using lenses.☆15Updated 7 years ago
- Convert TLA+ output (and values) into JSON☆26Updated 4 years ago
- Evaluate special comments in your program on file save.☆38Updated 4 years ago
- Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski☆26Updated 2 years ago
- An HTTP library for idris☆39Updated 6 years ago
- Haskell Bazel rules and cabal2bazel import tool.☆42Updated 4 years ago
- Quasiquoter for LLVM☆31Updated 7 years ago
- Miscellaneous constructions on monoids☆23Updated 2 months ago
- An implementation of "Freer Monads, More Extensible Effects".☆20Updated 6 years ago
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- Stroll: an experimental build system☆40Updated 2 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆33Updated 6 years ago
- Haskell binding for PADS☆19Updated 6 years ago
- Haskell types lined up to highlight their similarities☆30Updated 5 years ago
- Isomorphic Reasoning: Counting with Types☆37Updated 5 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 4 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago