BenFradet / vscode-unison

Related projects ⓘ

Alternatives and complementary repositories for vscode-unison

• francisdb / unison-json
  Json ast / parser / printer for unison
  ☆10Updated 4 years ago
• seagreen / unison-code-explorer
  Superseded by the core team project Unison Share (https://github.com/unisonweb/share)
  ☆22Updated 3 years ago
• purescript-contrib / purescript-quickcheck-laws
  QuickCheck powered law tests for PureScript's core typeclasses.
  ☆25Updated 2 years ago
• pkamenarsky / synchron
  Synchronous programming in Haskell
  ☆17Updated 4 years ago
• waynevanson / purescript-rxps
  An opinionated PureScript wrapper for RxJS, complete with a Monad Transformer ObservableT
  ☆20Updated last year
• Nipsuli / unisonhttp
  WIP: unison http implementation
  ☆19Updated 4 years ago
• Trundle / idris-go
  A Go backend for Idris
  ☆15Updated 6 years ago
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 5 years ago
• purescript / purescript-profunctor
  Profunctor type classes and data structures
  ☆33Updated 8 months ago
• jameshaydon / idris-graphql
  Idris GraphQL
  ☆16Updated 6 years ago
• gonzaw / extensible-records
  Extensible records for Idris
  ☆26Updated 3 years ago
• unisonweb / elm-browser
  A Unison Github repo explorer in Elm
  ☆34Updated 3 years ago
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 4 years ago
• danieljharvey / purescript-refined
  Purescript refinement types with runtime checking
  ☆26Updated 2 years ago
• runarorama / unisonlibraries
  A collection of libraries I've written for Unison
  ☆11Updated 4 years ago
• emiflake / unison-json
  An implementation of JSON decoders and encoders inspired by elm/json
  ☆18Updated 3 years ago
• albertprz / puresheet
  Spreadsheet management application on Halogen
  ☆25Updated 5 months ago
• puffnfresh / purescript-streams
  Compositional, streaming I/O library (unfinished)
  ☆13Updated 9 years ago
• purefunctor / purescript-uncurried-transformers
  Stack-safe monad transformers implemented using continuation-passing style and uncurried functions.
  ☆24Updated 2 years ago
• fresnel / fresnel
  high-powered optics in a small package
  ☆50Updated last month
• alonsodomin / haskell-schema
  A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.
  ☆20Updated 2 years ago
• Thimoteus / purescript-promises
  An alternative effect monad for PureScript.
  ☆23Updated 5 years ago
• purescript-contrib / purescript-matryoshka
  Generalized folds, unfolds, and traversals for fixed point data structures
  ☆59Updated 2 years ago
• ethul / purescript-freeap
  Free applicative functors for PureScript
  ☆27Updated 2 years ago
• spacchetti / spacchetti
  dhall-driven package sets for psc-package. Mà, ho comprato una scatola di PureScript!
  ☆47Updated 5 years ago
• cb372 / intellij-idris
  ☆15Updated 7 years ago
• sellout / Iaia
  A recursion scheme library for Idris.
  ☆24Updated last week
• fehrenbach / purescript-unordered-collections
  Fast, hash-based, immutable collections.
  ☆24Updated 8 months ago
• snoyberg / trio
  Crazy experiment, ignore unless you know better
  ☆36Updated 6 years ago
• purescript / purescript-refs
  Mutable value references
  ☆21Updated 2 years ago