Alternatives and similar repositories for nonsense

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

• xgrommx / idris-ecosystem
  ☆50Updated 7 years ago
• bravit / idris-cs-hse
  «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ
  ☆45Updated 8 years ago
• paf31 / purescript-incremental-functions
  Incremental lambda calculus
  ☆80Updated 6 years ago
• groupoid / groupoid.space
  🧊 Інститут формальної математики
  ☆35Updated 5 months ago
• anton-k / monads-for-drummers
  Haskell Monad tutorial with pictures
  ☆135Updated 9 years 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
• agda-attic / agda-frp-js
  ECMAScript back end for Functional Reactive Programming in Agda
  ☆103Updated 8 years ago
• bodil / purescript-eulalie
  String parser combinators for PureScript.
  ☆59Updated 8 years ago
• mbg / hindley-milner
  Template for Hindley-Milner based languages
  ☆39Updated 4 years ago
• lexi-lambda / higher-rank
  A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
  ☆101Updated 8 years ago
• paf31 / the-future-is-comonadic
  My (rejected) OBT-2018 submission
  ☆33Updated 5 years ago
• VictorTaelin / ultimate-calculus
  ☆36Updated 4 years ago
• sharkdp / purescript-sparkle
  Infer user interfaces from type signatures
  ☆77Updated 7 years ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆58Updated 2 months ago
• DoctorRainer / gimel
  A PureScript UI library built upon the react
  ☆10Updated 3 years ago
• andrejbauer / coop
  A prototype programming language for programming with runners
  ☆91Updated 4 years ago
• qnikst / irc-simple
  ☆29Updated 7 years ago
• portnov / ghcprofview-hs
  GHC .prof files viewer
  ☆19Updated 3 years ago
• rocq-community / fav-ssr
  Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
  ☆49Updated 2 months ago
• aelve / guide
  A workspace for research teams
  ☆106Updated 6 years ago
• josephjunker / static-land-recursion-schemes
  Javascript recursion schemes compatible with flow-static-land
  ☆22Updated 8 years ago
• HeinrichApfelmus / frp-guides
  A collection of tutorials, guidelines, examples, patterns and half-baked ideas on functional reactive programming (FRP).
  ☆65Updated 4 years ago
• robrix / path
  A lambda calculus to explore type-directed program synthesis.
  ☆85Updated 5 years ago
• paf31 / purescript-purview
  A UI library based on the incremental lambda calculus
  ☆111Updated 7 years ago
• codedot / lambda
  Macro Lambda Calculus
  ☆50Updated 6 years ago
• groupoid / anders
  🧊 Модальний гомотопічний верифікатор математики
  ☆22Updated 6 months ago
• steshaw / tdd-with-idris
  Working through Type-Driven Development with Idris
  ☆25Updated 9 years ago
• isovector / suavemente
  an applicative functor that seamlessly talks to HTML inputs
  ☆72Updated 6 years ago
• slamdata / purescript-markdown
  A Purescript library for parsing SlamData's dialect of Markdown.
  ☆38Updated 5 years ago
• natefaubion / purescript-variant
  Polymorphic variants for PureScript
  ☆133Updated 2 years ago