kana-sama / nonsenseLinks
☆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:
- 🧊 Інститут формальної математики☆35Updated last month
- Incremental lambda calculus☆80Updated 6 years ago
- String parser combinators for PureScript.☆59Updated 8 years ago
- A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes☆19Updated 8 years ago
- Haskell implementation of RON and RON-RDT☆65Updated 4 months ago
- ☆50Updated 8 years ago
- Template for Hindley-Milner based languages☆39Updated 4 years ago
- Polymorphic variants for PureScript☆133Updated 2 years ago
- My (rejected) OBT-2018 submission☆33Updated 5 years ago
- An attempt to catalog RowList/RowToList/row type content and memes☆43Updated 7 years ago
- Kotlin-backend for PureScript☆80Updated 4 years ago
- Haskell types lined up to highlight their similarities☆30Updated 5 years ago
- Canvas bindings for PureScript☆56Updated last year
- A simple UI for evaluating expressions in the untyped lambda calculus☆56Updated 2 months ago
- dhall-driven package sets for psc-package. Mà, ho comprato una scatola di PureScript!☆47Updated 6 years ago
- Javascript recursion schemes compatible with flow-static-land☆22Updated 8 years ago
- ECMAScript back end for Functional Reactive Programming in Agda☆103Updated 8 years ago
- TodoMVC with purescript-react-basic☆55Updated 2 years ago
- Infer user interfaces from type signatures☆77Updated 7 years ago
- What would TEA look like if we had no VDOM?☆69Updated 7 years ago
- A PureScript interpreter in Haskell☆121Updated 3 years ago
- A Purescript library for parsing SlamData's dialect of Markdown.☆38Updated 6 years ago
- Higher order functional programming in PureScript's type system☆44Updated 4 years ago
- Various efficient-ish sequence types for PureScript.☆47Updated last year
- A collection of tutorials, guidelines, examples, patterns and half-baked ideas on functional reactive programming (FRP).☆65Updated 5 years ago
- A UI library based on the incremental lambda calculus☆111Updated 7 years ago
- Haskell Monad tutorial with pictures☆135Updated 9 years ago
- git protocol and storage in pure haskell☆67Updated 4 years ago
- A little utility to derive lenses and prisms for data types in PureScript☆39Updated 8 years ago
- Recursion schemes for Idris☆64Updated 7 years ago