0xd34df00d / fizzbuzz-iLinks
FizzBuzz, formally verified, provably correct
☆26Updated 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
- Inline Assembly code in ur Haskell!☆43Updated 2 months ago
- Functional languages index☆42Updated 5 years ago
- Haskell implementation of the QOI image format☆17Updated last year
- A pure type system implemented in OCaml☆78Updated 4 years ago
- Inigo: A Package Manager for Idris2☆61Updated 2 years ago
- ☆49Updated 7 years ago
- Haskell library for type-inference with Hindley-Milner type-system.☆34Updated 11 months ago
- Duo - A research language exploring duality in programming language design☆57Updated 2 years ago
- Monomorphize polymorphic functions for testing☆36Updated 8 years ago
- A core language and API for dependently typed languages☆94Updated 3 months ago
- Pretty-print error messages of the ATS Compiler☆35Updated 5 years ago
- An Idris 2 build tool and a package manager☆28Updated 2 years ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆62Updated last year
- GHC .prof files viewer☆19Updated 2 years ago
- LLVM code generation in Haskell☆54Updated 7 months ago
- Example row-polymorphism implementations☆61Updated last year
- Build system☆123Updated last year
- A bidirectional type checker☆63Updated 7 years ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated 3 months ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- Compiler for the Rum language☆26Updated 5 years ago
- A dependent type theory with user defined data types☆46Updated 3 years ago
- Proof theory seminar☆35Updated 4 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆68Updated last month
- Quick explanation of eliminating left recursion in Haskell parsers☆50Updated 3 years ago
- Type-safe WebAssembly eDSL in Haskell☆26Updated 7 months ago
- Package manager for Idris☆35Updated 2 years ago
- ☆25Updated 2 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated 2 years ago