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 5 months ago
- ☆50Updated 7 years ago
- String parser combinators for PureScript.☆59Updated 8 years ago
- A PureScript interpreter in Haskell☆121Updated 3 years ago
- Incremental lambda calculus☆80Updated 6 years ago
- Supporting code for the book /Lenses for the Mere Mortal: PureScript Edition/☆33Updated 3 years ago
- Infer user interfaces from type signatures☆77Updated 7 years ago
- Template for Hindley-Milner based languages☆39Updated 4 years ago
- ECMAScript back end for Functional Reactive Programming in Agda☆103Updated 8 years ago
- an applicative functor that seamlessly talks to HTML inputs☆72Updated 6 years ago
- Higher order functional programming in PureScript's type system☆44Updated 4 years ago
- Type definitions and low level interface implementations for the W3C HTML5 spec☆33Updated 3 weeks ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 8 years ago
- Type definitions and low level interface implementations for the W3C DOM spec☆35Updated 2 years ago
- My (rejected) OBT-2018 submission☆33Updated 5 years ago
- Set up a specific PureScript toolchain in your GitHub Actions workflow☆46Updated 2 months ago
- A Haskell package that provides a monad transformer for mocking mtl-style typeclasses☆70Updated 5 years ago
- Standard module for type-level programming in Haskell☆31Updated 6 years ago
- Polymorphic variants for PureScript☆133Updated 2 years ago
- Maps and folds for heterogeneous data types.☆61Updated 5 months ago
- A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes☆19Updated 7 years ago
- Dhall implementation in PureScript☆97Updated 2 years ago
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆45Updated 8 years ago
- Simple task management application for my bachelor thesis based on Phil Freeman's Comonads as spaces☆53Updated 5 years ago
- Haskell Monad tutorial with pictures☆135Updated 9 years ago
- Various efficient-ish sequence types for PureScript.☆47Updated last year
- Efficient parser combinators for Haskell☆39Updated 2 weeks ago
- Purely functional UI library powered by FRP.☆81Updated 5 years ago
- An attempt to catalog RowList/RowToList/row type content and memes☆43Updated 6 years ago
- A little utility to derive lenses and prisms for data types in PureScript☆39Updated 8 years ago