unisonweb / unison-local-ui

Related projects ⓘ

Alternatives and complementary repositories for unison-local-ui

• unisonweb / ui-core
  Shared design system and core components for Unison Local and Unison Share
  ☆23Updated this week
• QuinnWilton / gleam_logic
  Logic programming with µKanren
  ☆11Updated 3 years ago
• id3as / purescript-erl-pinto
  An opinionated OTP framework wrapper
  ☆26Updated 4 months ago
• unisoncomputing / share-api
  Unison Share's backend server
  ☆23Updated last month
• id3as / demo-ps
  Skeleton app with contrived client/server examples
  ☆20Updated last year
• unisonweb / vscode-unison
  Official Unison extension for Visual Studio Code
  ☆23Updated 8 months ago
• glguy / language-lua
  Lua parser and pretty-printer
  ☆15Updated 5 months ago
• unisonweb / base
  Unison base libraries
  ☆18Updated last month
• vmchale / coronavirus
  covid-19 data in J
  ☆16Updated 2 years 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
• tek / helic
  Clipboard synchronization tool
  ☆12Updated 11 months ago
• vmchale / rure
  Haskell bindings to Rust's regex library
  ☆18Updated 5 months ago
• donsbot / experiments-rust
  Working through the Rust book
  ☆13Updated 4 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 2 years ago
• fluffynukeit / scbt
  Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
  ☆11Updated 4 years ago
• pabloariasal / protofmt
  Formatter for Protocol Buffer files
  ☆28Updated 2 years ago
• gergoerdi / functional-mos6502-web-performance
  https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/
  ☆26Updated last year
• GrayJack / tree-sitter-janet
  A tree-sitter grammar parser for Janet
  ☆16Updated 2 years ago
• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 7 years ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated last month
• yav / haskell-lexer
  A fully compliant Haskell 98 lexer.
  ☆15Updated last week
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago
• unisoncomputing / share-ui
  The UI for Unison Share
  ☆29Updated last week
• gleam-lang / hexpm-rust
  ⚗️ A Rust client for the Hex package manager
  ☆21Updated 4 months ago
• dmjio / graphql-meta
  Lexing, parsing, pretty-printing, and metaprogramming facilities for dealing with GraphQL schemas and queries
  ☆21Updated 6 months ago
• mpcsh / ForML
  Bachelor's thesis 2019
  ☆12Updated last year
• bertas / hm_prolog
  A Hindley-Milner type inference implementation in Prolog
  ☆13Updated 9 years ago
• midas-framework / gleam_providers
  Type providers (Code generation) for Gleam programs that use Mix.
  ☆11Updated 3 years ago
• eeue56 / coed
  Elm-style library for writing modern frontends
  ☆15Updated 2 years ago