Alternatives and similar repositories for unison-local-ui

Users that are interested in unison-local-ui are comparing it to the libraries listed below

• id3as / purescript-erl-pinto
  An opinionated OTP framework wrapper
  ☆26Updated 5 months ago
• unisonweb / ui-core
  Shared design system and core components for Unison Local and Unison Share
  ☆24Updated this week
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated last week
• unisoncomputing / share-api
  Unison Share's backend server
  ☆24Updated this week
• eeue56 / coed
  Elm-style library for writing modern frontends
  ☆15Updated last week
• drathier / purerlex
  ☆15Updated 3 weeks ago
• QuinnWilton / gleam_logic
  Logic programming with µKanren
  ☆11Updated 4 years ago
• midas-framework / gleam_providers
  Type providers (Code generation) for Gleam programs that use Mix.
  ☆11Updated 4 years ago
• id3as / demo-ps
  Skeleton app with contrived client/server examples
  ☆20Updated 2 years ago
• glguy / language-lua
  Lua parser and pretty-printer
  ☆15Updated last year
• SamuelSchlesinger / hs-ts
  A simple example of integrating TypeScript and Haskell.
  ☆13Updated 3 years ago
• expede / rescue
  🚒✨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)
  ☆20Updated 3 years ago
• midas-framework / erlang_library_runtime
  A lightweight erlang runtime
  ☆21Updated 4 years ago
• dmjio / graphql-meta
  Lexing, parsing, pretty-printing, and metaprogramming facilities for dealing with GraphQL schemas and queries
  ☆21Updated 6 months ago
• linoscope / okasaki-book-ocaml
  Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.
  ☆12Updated 4 years ago
• unisoncomputing / share-ui
  The UI for Unison Share
  ☆31Updated this week
• ziman / idris2-mlf
  Malfunction backend for Idris 2
  ☆12Updated 3 years ago
• vmchale / coronavirus
  covid-19 data in J
  ☆16Updated 3 years ago
• thaterikperson / erie
  A statically-typed lisp for the BEAM
  ☆11Updated 3 years ago
• Willyboar / colours
  A Gleam Library for adding colours in Terminal
  ☆11Updated last year
• slfritchie / wide-world-of-actors
  Wide World of Actors, or, Can I Have an Erlang Pony?
  ☆13Updated 7 years ago
• lpil / soup
  A simple interpreted language written in Elixir
  ☆22Updated 8 years ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆14Updated 5 years ago
• michallepicki / suber
  Algebraic Subtyping typechecking algorithms implemented in Erlang
  ☆11Updated 3 years ago
• rjdellecese / gleam_jsone
  jsone bindings for the Gleam language
  ☆18Updated 2 years ago
• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆16Updated 4 months ago
• lukateras / nix-of-mix
  Sandboxable Mix (Elixir) project Nix evaluator
  ☆16Updated 6 months ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 3 years ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆19Updated 7 years ago
• janestreet / ppx_js_style
  Code style checker for Jane Street Packages
  ☆20Updated 2 weeks ago