Alternatives and similar repositories for unison-local-ui:

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

• donsbot / experiments-rust
  Working through the Rust book
  ☆13Updated 4 years ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated 3 weeks ago
• QuinnWilton / gleam_logic
  Logic programming with µKanren
  ☆11Updated 4 years ago
• id3as / purescript-erl-pinto
  An opinionated OTP framework wrapper
  ☆26Updated last month
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 5 years ago
• dmjio / graphql-meta
  Lexing, parsing, pretty-printing, and metaprogramming facilities for dealing with GraphQL schemas and queries
  ☆21Updated 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
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 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 4 years ago
• unisoncomputing / share-api
  Unison Share's backend server
  ☆24Updated this week
• unisonweb / vscode-unison
  Official Unison extension for Visual Studio Code
  ☆22Updated last year
• glguy / language-lua
  Lua parser and pretty-printer
  ☆15Updated 9 months ago
• racket / parser-tools
  ☆12Updated this week
• ajeetdsouza / brainfuck
  An optimizing Brainfuck interpreter.
  ☆13Updated 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
• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆28Updated 4 months ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆20Updated 6 years ago
• fluffynukeit / scbt
  Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
  ☆11Updated 5 years ago
• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆15Updated last week
• kaBeech / tensort
  Tunable sorting for responsive robustness and beyond
  ☆17Updated 2 weeks ago
• snoyberg / haskup
  Wrap up Haskell tools
  ☆15Updated 3 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆16Updated 3 years ago
• browserdotsys / vecchio
  Rust implementation of Ray Tracing in One Weekend
  ☆12Updated 4 years ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆14Updated 5 years ago
• GrayJack / tree-sitter-janet
  A tree-sitter grammar parser for Janet
  ☆16Updated 2 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago