snoyberg / trio

Related projects ⓘ

Alternatives and complementary repositories for trio

• seagreen / unison-code-explorer
  Superseded by the core team project Unison Share (https://github.com/unisonweb/share)
  ☆22Updated 3 years ago
• ctford / flying-spaghetti-monster
  An Idris type provider for communicating type-checkable protocols.
  ☆26Updated 7 years ago
• ekmett / either
  the EitherT monad transformer
  ☆55Updated 6 months ago
• purescript-contrib / purescript-matryoshka
  Generalized folds, unfolds, and traversals for fixed point data structures
  ☆59Updated 2 years ago
• amarpotghan / dhall-scala
  dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.
  ☆39Updated 5 years ago
• winterland1989 / data-has
  Simple extensible product
  ☆38Updated 3 years ago
• system-f / papa
  Reasonable Haskell default import
  ☆27Updated 2 years ago
• nmattia / wai-lambda
  Haskell Webapps on AWS Lambda
  ☆44Updated last year
• pkamenarsky / synchron
  Synchronous programming in Haskell
  ☆17Updated 4 years ago
• puffnfresh / c4-model
  Haskell implementation of C4 model, for specifying software architecture
  ☆18Updated 2 years ago
• danieljharvey / purescript-refined
  Purescript refinement types with runtime checking
  ☆26Updated 2 years ago
• mightybyte / fake
  Generate realistic looking fake data
  ☆47Updated 3 years ago
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 5 years ago
• pkamenarsky / purescript-refract
  Optical Purescript UI library based on React and the Elm architecture, but without the boilerplate.
  ☆49Updated 6 years ago
• parsonsmatt / monad-metrics
  haskell metrics
  ☆31Updated 4 months ago
• kowainik / awesome-haskell-sponsorship
  💝 Haskell profiles to sponsor
  ☆47Updated 3 years ago
• sellout / dada
  A total recursion scheme library for Dhall
  ☆65Updated last week
• spacchetti / spacchetti
  dhall-driven package sets for psc-package. Mà, ho comprato una scatola di PureScript!
  ☆47Updated 5 years ago
• cmk / profunctor-optics
  ☆11Updated 4 years ago
• coot / purescript-redox
  Data store(s) for purescript applications. Use your own DSL to update the global state.
  ☆20Updated 6 years ago
• FormationAI / dhall-bhat
  Tasty meal of Dhall
  ☆66Updated last year
• symphony-org / frost
  Frost
  ☆19Updated 4 years ago
• mzabani / codd
  Codd is a simple-to-use CLI tool that applies plain postgres SQL migrations atomically with strong and automatic cross-environment schema…
  ☆38Updated last month
• sellout / category-parametric-talk
  Talks on category-parametric programming.
  ☆22Updated 11 months ago
• bitemyapp / hedgehog-checkers
  Like the checkers library, but for hedgehog. Common stuff you'd want to check.
  ☆22Updated 6 years ago
• kritzcreek / purescript-matrices
  Simple two-dimensional matrices backed by a flat array
  ☆18Updated 4 years ago
• ChrisPenner / lens-csv
  Lensy interface for parsing CSV's
  ☆42Updated 4 years ago
• chris-martin / haskell-aligned
  Haskell types lined up to highlight their similarities
  ☆31Updated 4 years ago
• gelisam / n-ary-functor
  A single typeclass for Functor, Bifunctor, Trifunctor, etc.
  ☆40Updated last year