kritzcreek / infer_workshop
An interactive workshop on implementing AlgorithmW in Kotlin
☆21Updated 4 years ago
Alternatives and similar repositories for infer_workshop:
Users that are interested in infer_workshop are comparing it to the libraries listed below
- A well-typed symmetric-monoidal category of concurrent processes☆24Updated 6 years ago
- HoTT Note-taking action☆25Updated 5 years ago
- Purescript refinement types with runtime checking☆25Updated 2 years ago
- ☆28Updated 6 years ago
- Working through the Thinking with Types book in Haskell☆35Updated 4 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆59Updated 2 years ago
- Simple extensible product☆38Updated 4 years ago
- Bind The Gap: FP digital magazine☆21Updated 4 years ago
- Comparing Haskell effect systems for ergonomics and speed☆65Updated 3 years ago
- Override instances used by Haskell's generic derivation☆30Updated 2 years ago
- A helpful companion to GHC. Overrides GHC messages, to the user's liking.☆33Updated 4 years ago
- Free applicative functors for PureScript☆27Updated 2 years ago
- Optical Purescript UI library based on React and the Elm architecture, but without the boilerplate.☆49Updated 6 years ago
- Extensible records for Idris☆26Updated 3 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 4 years ago
- GRIN backend for Idris☆51Updated 4 years ago
- A short scripts and programs☆12Updated 2 years ago
- Working through Type-Driven Development with Idris☆24Updated 8 years ago
- WIP: unison http implementation☆19Updated 4 years ago
- An Idris 2 build tool and a package manager☆28Updated 2 years ago
- Formatting and printing for numeric and date/time/interval values☆40Updated last year
- ☆48Updated 5 years ago
- 🎯 IO with Exceptions tracked on the type-level☆58Updated 3 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Refined types☆57Updated 6 years ago
- Isomorphic Reasoning: Counting with Types☆37Updated 4 years ago
- high-powered optics in a small package☆53Updated 3 months ago
- Dual Traversable☆42Updated last year
- An experimental HTTP framework for Idris☆14Updated 4 years ago
- Port of Scala/Haskell Refined library to Idris☆15Updated 3 years ago