kana-sama / nonsense
☆17Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for nonsense
- ☆10Updated 4 years ago
- Template for Hindley-Milner based languages☆39Updated 2 years ago
- 🧊 Інститут формальної математики☆35Updated 7 months ago
- A PureScript UI library built upon the react☆10Updated 2 years ago
- Functional languages index☆42Updated 5 years ago
- 🔄 Synchronize personal configs across multiple machines☆21Updated 4 years ago
- Supporting code for the book /Lenses for the Mere Mortal: PureScript Edition/☆33Updated last year
- ☆16Updated 2 years ago
- Dissectible data structures for implementing iterative traversals.☆20Updated 2 years ago
- ☆47Updated 6 years ago
- Haskell types lined up to highlight their similarities☆31Updated 4 years ago
- Canvas bindings for PureScript☆54Updated 5 months ago
- Haskell implementation of Nanoid, secure URL-friendly unique ID generator.☆20Updated 6 years ago
- A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes☆19Updated 6 years ago
- 🔫 GitHub application to suggest hints☆27Updated 4 years ago
- Generic programming using an approach inspired by GHC.Generics☆41Updated 3 years ago
- Set up a specific PureScript toolchain in your GitHub Actions workflow☆44Updated 2 weeks ago
- An approach to user interfaces based in denotational design.☆26Updated last year
- Recursion schemes for Idris☆64Updated 6 years ago
- A two-dimensional parser combinator library.☆41Updated 7 years ago
- Fast, hash-based, immutable collections.☆24Updated 8 months ago
- Материалы доклада «Функциональная виртуальная реальность: WebVR + Haskell» на FPConf 2017.☆9Updated 6 years ago
- dhall-driven package sets for psc-package. Mà, ho comprato una scatola di PureScript!☆47Updated 5 years ago
- A type class which captures stack-safe monadic tail recursion☆37Updated 2 years ago
- Presentations on Liquid Haskell, type theory, and more☆44Updated 3 weeks ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- FizzBuzz, formally verified, provably correct☆24Updated last year
- Web front UI for interactive Haskell projects☆34Updated 4 years ago
- This is a presentation about haskell's type families.☆15Updated 6 years ago
- Higher order functional programming in PureScript's type system☆43Updated 3 years ago