kana-sama / nonsense
☆17Updated 4 years ago
Alternatives and similar repositories for nonsense
Users that are interested in nonsense are comparing it to the libraries listed below
Sorting:
- ☆10Updated 5 years ago
- A PureScript UI library built upon the react☆10Updated 2 years ago
- Материалы доклада «Функциональная виртуальная реальность: WebVR + Haskell» на FPConf 2017.☆9Updated 7 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes☆19Updated 7 years ago
- ☆49Updated 7 years ago
- 🧊 Інститут формальної математики☆34Updated this week
- 🔄 Synchronize personal configs across multiple machines☆21Updated 4 years ago
- GHC .prof files viewer☆19Updated 2 years ago
- ☆16Updated 2 years ago
- Fast, hash-based, immutable collections.☆25Updated last year
- An approach to user interfaces based in denotational design.☆27Updated 2 years ago
- Supporting code for the book /Lenses for the Mere Mortal: PureScript Edition/☆33Updated 2 years ago
- Haskell implementation of Nanoid, secure URL-friendly unique ID generator.☆20Updated 7 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated 6 months ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆37Updated 2 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Kotlin-backend for PureScript☆81Updated 3 years ago
- 🔫 GitHub application to suggest hints☆26Updated 4 years ago
- small programming language. pls be gentle.☆39Updated 3 weeks ago
- Functional languages index☆41Updated 5 years ago
- Type definitions and low level interface implementations for the W3C DOM spec☆34Updated last year
- dhall-driven package sets for psc-package. Mà, ho comprato una scatola di PureScript!☆47Updated 6 years ago
- Incremental lambda calculus☆81Updated 5 years ago
- Dissectible data structures for implementing iterative traversals.☆20Updated 3 years ago
- Javascript recursion schemes compatible with flow-static-land☆22Updated 7 years ago
- Higher order functional programming in PureScript's type system☆43Updated 3 years ago
- C++ foreign export implementations for the standard library☆22Updated 5 years ago
- An experimental Haskell library for programming with effectful runners.☆29Updated 5 years ago