Alternatives and similar repositories for unison-local-ui:

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

• dmjio / graphql-meta
  Lexing, parsing, pretty-printing, and metaprogramming facilities for dealing with GraphQL schemas and queries
  ☆21Updated last month
• id3as / purescript-erl-pinto
  An opinionated OTP framework wrapper
  ☆26Updated last week
• glguy / language-lua
  Lua parser and pretty-printer
  ☆15Updated 8 months 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
• purescript / purescript-enums
  Operations for sequentially ordered types
  ☆10Updated 2 years ago
• phlummox / hs-perl5
  embedded Perl 5 interpreter in Haskell, forked from https://github.com/perl6/Pugs.hs. Candidate package on hackage at https://hackage.has…
  ☆12Updated 3 years ago
• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆15Updated 2 years ago
• unisoncomputing / share-api
  Unison Share's backend server
  ☆24Updated this week
• broom-lang / broom
  A programming language with first-class modules and algebraic effects.
  ☆15Updated 2 years ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated 3 months ago
• purescript / purescript-numbers
  Functions for working with PureScripts 'Number' type
  ☆13Updated last year
• browserdotsys / vecchio
  Rust implementation of Ray Tracing in One Weekend
  ☆12Updated 4 years ago
• vmchale / rure
  Haskell bindings to Rust's regex library
  ☆18Updated 8 months ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• SamuelSchlesinger / hs-ts
  A simple example of integrating TypeScript and Haskell.
  ☆13Updated 3 years ago
• donsbot / experiments-rust
  Working through the Rust book
  ☆13Updated 4 years ago
• fluffynukeit / scbt
  Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
  ☆11Updated 5 years ago
• linoscope / okasaki-book-ocaml
  Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.
  ☆12Updated 3 years ago
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 5 years ago
• hypirion / haskell-transducers
  Clojure's Transducers in Haskell
  ☆40Updated 8 years ago
• bertas / hm_prolog
  A Hindley-Milner type inference implementation in Prolog
  ☆13Updated 9 years ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆14Updated 4 years ago
• GrayJack / tree-sitter-janet
  A tree-sitter grammar parser for Janet
  ☆16Updated 2 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 2 years ago
• purescript / purescript-integers
  Functions and bitwise operators for the Int numeric type
  ☆18Updated last year
• lukateras / nix-of-mix
  Sandboxable Mix (Elixir) project Nix evaluator
  ☆16Updated last month
• ziman / idris2-mlf
  Malfunction backend for Idris 2
  ☆12Updated 3 years ago
• ninegua / reduxer
  An interactive beta reduction calculator for lambda calculus
  ☆10Updated 6 years ago
• janestreet / ppx_js_style
  Code style checker for Jane Street Packages
  ☆19Updated 2 months ago