Alternatives and similar repositories for nonsense

Users that are interested in nonsense are comparing it to the libraries listed below

• bravit / idris-cs-hse
  «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ
  ☆45Updated 7 years ago
• xgrommx / idris-ecosystem
  ☆49Updated 7 years ago
• groupoid / groupoid.space
  🧊 Інститут формальної математики
  ☆35Updated 3 months ago
• justinwoo / purescript-bismuth
  A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes
  ☆19Updated 7 years ago
• anton-k / monads-for-drummers
  Haskell Monad tutorial with pictures
  ☆136Updated 9 years ago
• bodil / purescript-eulalie
  String parser combinators for PureScript.
  ☆59Updated 8 years ago
• agda-attic / agda-frp-js
  ECMAScript back end for Functional Reactive Programming in Agda
  ☆103Updated 7 years ago
• HeinrichApfelmus / frp-guides
  A collection of tutorials, guidelines, examples, patterns and half-baked ideas on functional reactive programming (FRP).
  ☆64Updated 4 years ago
• paf31 / purescript-incremental-functions
  Incremental lambda calculus
  ☆81Updated 6 years ago
• mbg / hindley-milner
  Template for Hindley-Milner based languages
  ☆39Updated 3 years ago
• sharkdp / purescript-sparkle
  Infer user interfaces from type signatures
  ☆77Updated 7 years ago
• rocq-community / fav-ssr
  Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
  ☆49Updated this week
• lexi-lambda / higher-rank
  A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
  ☆101Updated 8 years ago
• i-am-tom / learn-me-a-haskell
  Trying to get back all the stuff I had in JavaScript.
  ☆69Updated 7 years ago
• paf31 / dovetail
  A PureScript interpreter in Haskell
  ☆121Updated 3 years ago
• xgrommx / purescript-ecosystem
  ☆96Updated 5 years ago
• justinwoo / purescript-ohyes
  A library for generating Typescript types that can be used transparently from Purescript.
  ☆68Updated 6 years ago
• ff-notes / ron
  Haskell implementation of RON and RON-RDT
  ☆65Updated last month
• chessai / theseus
  theseus, functional programming language with fully reversible computation
  ☆123Updated 6 years ago
• ku-fpg / sunroof-compiler
  Monadic Javascript Compiler
  ☆73Updated 9 years ago
• KingoftheHomeless / in-other-words
  A higher-order effect system where the sky's the limit
  ☆91Updated 3 years ago
• paf31 / purescript-purview
  A UI library based on the incremental lambda calculus
  ☆111Updated 7 years ago
• csicar / pskt
  Kotlin-backend for PureScript
  ☆79Updated 4 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 7 years ago
• nomeata / ghc-justdoit
  A magic typeclass that just does it
  ☆125Updated 3 years ago
• justinwoo / awesome-rowlist
  An attempt to catalog RowList/RowToList/row type content and memes
  ☆43Updated 6 years ago
• robrix / path
  A lambda calculus to explore type-directed program synthesis.
  ☆85Updated 5 years ago
• VictorTaelin / ultimate-calculus
  ☆36Updated 3 years ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆58Updated last week
• ff-notes / ff
  A distributed note taker and task manager.
  ☆197Updated 3 weeks ago