0xd34df00d / fizzbuzz-iLinks
FizzBuzz, formally verified, provably correct
☆27Updated 2 years ago
Alternatives and similar repositories for fizzbuzz-i
Users that are interested in fizzbuzz-i are comparing it to the libraries listed below
Sorting:
- Refinement types + dependent types = ❤️☆58Updated 2 years ago
- GHC .prof files viewer☆19Updated 2 years ago
- Inline Assembly code in ur Haskell!☆44Updated 3 months ago
- Functional languages index☆42Updated 5 years ago
- Inigo: A Package Manager for Idris2☆63Updated 2 years ago
- An Idris 2 build tool and a package manager☆28Updated 2 years ago
- Haskell implementation of the QOI image format☆17Updated last year
- Duo - A research language exploring duality in programming language design☆57Updated 2 years ago
- Proof theory seminar☆35Updated 4 years ago
- A core language and API for dependently typed languages☆94Updated 4 months ago
- Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]☆48Updated 5 months ago
- Package manager for Idris☆37Updated 2 years ago
- Named parameters (keyword arguments) for Haskell☆95Updated 3 months ago
- Haskell implementation of the KDL Document Language☆22Updated 2 years ago
- Haskell library for type-inference with Hindley-Milner type-system.☆34Updated last year
- A dependent type theory with user defined data types☆46Updated 3 years ago
- A two-dimensional parser combinator library.☆41Updated 8 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated last year
- ☆49Updated 7 years ago
- Quick explanation of eliminating left recursion in Haskell parsers☆50Updated 3 years ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- Я - extremely composable embeddable programming language☆67Updated this week
- The category theory by example book☆59Updated last year
- A higher-order effect system where the sky's the limit☆91Updated 3 years ago
- ☆26Updated last year
- ☆39Updated 10 months ago
- A prototype programming language for programming with runners☆90Updated 3 years ago
- LLVM code generation in Haskell☆54Updated 7 months ago
- Fast parsing from bytestrings☆161Updated this week
- a functional programming language with algebraic effects and handlers☆82Updated 4 months ago