Alternatives and similar repositories for unison-local-ui:

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

• unisonweb / ui-core
  Shared design system and core components for Unison Local and Unison Share
  ☆24Updated 2 weeks ago
• dmjio / graphql-meta
  Lexing, parsing, pretty-printing, and metaprogramming facilities for dealing with GraphQL schemas and queries
  ☆21Updated 4 months ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated last month
• vmchale / rure
  Haskell bindings to Rust's regex library
  ☆18Updated last month
• Gizra / elm-keyboard-event
  Decode keyboard events in Elm
  ☆22Updated 2 years ago
• drathier / purerlex
  ☆14Updated 2 weeks ago
• unisonweb / vscode-unison
  Official Unison extension for Visual Studio Code
  ☆22Updated last year
• QuinnWilton / gleam_logic
  Logic programming with µKanren
  ☆11Updated 4 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• purescript / purescript-enums
  Operations for sequentially ordered types
  ☆11Updated 2 years ago
• cyberglot / faeth
  algebraic typechecking and elaboration of type systems
  ☆12Updated 3 months ago
• glguy / language-lua
  Lua parser and pretty-printer
  ☆15Updated 11 months ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• eeue56 / coed
  Elm-style library for writing modern frontends
  ☆15Updated 2 years ago
• fluffynukeit / scbt
  Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
  ☆11Updated 5 years ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆14Updated 5 years ago
• tfausak / haskell-knowledge-base
  A knowledge map about Haskell powered by Obsidian.
  ☆16Updated 2 years ago
• id3as / purescript-erl-pinto
  An opinionated OTP framework wrapper
  ☆26Updated 3 months ago
• unisoncomputing / share-api
  Unison Share's backend server
  ☆24Updated last week
• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆16Updated 2 months ago
• ziman / idris2-mlf
  Malfunction backend for Idris 2
  ☆12Updated 3 years ago
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated 2 months ago
• SamuelSchlesinger / hs-ts
  A simple example of integrating TypeScript and Haskell.
  ☆13Updated 3 years ago
• pabloariasal / protofmt
  Formatter for Protocol Buffer files
  ☆28Updated 2 years ago
• ninegua / reduxer
  An interactive beta reduction calculator for lambda calculus
  ☆11Updated 6 years ago
• unisoncomputing / share-ui
  The UI for Unison Share
  ☆31Updated this week
• liamoc / wizards
  High level, generic library for interrogative user interfaces in Haskell
  ☆41Updated 3 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 3 years ago
• gleam-lang / hexpm-rust
  ⚗️ A Rust client for the Hex package manager
  ☆24Updated last month
• justinwoo / prefetch-github
  A helper to save me some keystrokes from nix-prefetch-git.
  ☆13Updated 6 years ago