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:
- ☆50Updated 7 years ago
- Incremental lambda calculus☆80Updated 6 years ago
- 🧊 Інститут формальної математики☆35Updated 4 months 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 7 years ago
- ECMAScript back end for Functional Reactive Programming in Agda☆103Updated 8 years ago
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆45Updated 7 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- A collection of tutorials, guidelines, examples, patterns and half-baked ideas on functional reactive programming (FRP).☆65Updated 4 years ago
- Supporting code for the book /Lenses for the Mere Mortal: PureScript Edition/☆33Updated 2 years ago
- Haskell Monad tutorial with pictures☆134Updated 9 years ago
- A library for generating Typescript types that can be used transparently from Purescript.☆68Updated 6 years ago
- An extensible-effects implementation☆160Updated 3 years ago
- A PureScript interpreter in Haskell☆121Updated 3 years ago
- My (rejected) OBT-2018 submission☆33Updated 5 years ago
- Javascript recursion schemes compatible with flow-static-land☆22Updated 8 years ago
- Reusable stateful logic in Halogen, inspired by React Hooks☆118Updated last year
- ☆29Updated 7 years ago
- Algebraic graphs implementation in TypeScript☆133Updated 2 years ago
- Kotlin-backend for PureScript☆80Updated 4 years ago
- Simple task management application for my bachelor thesis based on Phil Freeman's Comonads as spaces☆53Updated 5 years ago
- ⭕️ N2O: Haskell Application Server☆46Updated 3 years ago
- Haskell WebAssembly Toolkit☆154Updated 9 months ago
- A UI library based on the incremental lambda calculus☆111Updated 7 years ago
- Haskell implementation of RON and RON-RDT☆65Updated 2 months ago
- Infer user interfaces from type signatures☆77Updated 7 years ago
- What would TEA look like if we had no VDOM?☆69Updated 6 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 8 years ago
- A higher-order effect system where the sky's the limit☆91Updated 3 years ago
- Use jsx-like syntax in Reflex☆50Updated 7 years ago