francisdb / unison-json

Related projects ⓘ

Alternatives and complementary repositories for unison-json

• BenFradet / vscode-unison
  Unison syntax highlighting for VS code
  ☆10Updated 2 years ago
• runarorama / unisonlibraries
  A collection of libraries I've written for Unison
  ☆11Updated 4 years ago
• snoyberg / trio
  Crazy experiment, ignore unless you know better
  ☆36Updated 6 years ago
• seagreen / unison-code-explorer
  Superseded by the core team project Unison Share (https://github.com/unisonweb/share)
  ☆22Updated 3 years ago
• f-o-a-m / purescript-deck-gl
  purescript wrapper for Uber's deck.gl library
  ☆11Updated last year
• ctford / flying-spaghetti-monster
  An Idris type provider for communicating type-checkable protocols.
  ☆26Updated 7 years ago
• alonsodomin / haskell-schema
  A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.
  ☆20Updated 2 years ago
• purescript-contrib / purescript-quickcheck-laws
  QuickCheck powered law tests for PureScript's core typeclasses.
  ☆25Updated 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
• rightfold / purescript-alkali
  Generate Halogen forms from types
  ☆11Updated 7 years ago
• sellout / Iaia
  A recursion scheme library for Idris.
  ☆24Updated last week
• iconnect / ridley
  A collection of ready-to-use Prometheus Metrics to monitor your Haskell application
  ☆13Updated 3 months ago
• danieljharvey / purescript-refined
  Purescript refinement types with runtime checking
  ☆26Updated 2 years ago
• tonymorris / validation
  ☆31Updated 3 years ago
• lambda-11235 / FarRP
  An arrowized FRP library for Idris with static safety guarantees.
  ☆16Updated 6 years ago
• typelead / eta-proposals
  Want to propose changes to Eta?
  ☆14Updated 6 years ago
• spacchetti / spacchetti
  dhall-driven package sets for psc-package. Mà, ho comprato una scatola di PureScript!
  ☆47Updated 5 years ago
• amarpotghan / crjdt-haskell
  A Conflict-Free Replicated JSON Datatype for Haskell
  ☆33Updated 6 years ago
• reactormonk / purescript-rave
  A standard stack for PureScript
  ☆25Updated 5 years ago
• Nipsuli / unisonhttp
  WIP: unison http implementation
  ☆19Updated 4 years ago
• idris-hackers / idris-lens
  ☆22Updated 8 years ago
• atzeus / RoyalMonad
  Bow before the ultimate generality of the Royal Monad!
  ☆10Updated 9 years ago
• cb372 / intellij-idris
  ☆15Updated 7 years ago
• maoe / lifted-async
  Run lifted IO operations asynchronously and wait for their results
  ☆29Updated 2 weeks ago
• pepeiborra / gc-benchmarks
  Benchmarks using the non-moving incremental GHC garbage collector
  ☆22Updated 5 years ago
• rintcius / purescript-aui
  Algebraic UI's in Purescript
  ☆15Updated 3 years ago
• martyall / servant-zeppelin
  Server Side Loading JSON
  ☆11Updated 5 years ago
• uwap / idris-http
  An HTTP library for idris
  ☆40Updated 5 years ago
• system-f / papa
  Reasonable Haskell default import
  ☆27Updated 2 years ago