Alternatives and similar repositories for ghc-wasm-earthly

Users that are interested in ghc-wasm-earthly are comparing it to the libraries listed below

• ksrky / Plato
  A purely functional programming language based on higher-order polymorphic lambda calculus
  ☆20Updated last year
• memento-org / memento-lang
  A compiler for language "memento"
  ☆27Updated last month
• deepflowinc-oss / guardian
  guardian - the border guardian for your Haskell monorepo package dependencies
  ☆39Updated 7 months ago
• katsujukou / TaPL-in-PureScript
  The PureScript implementation for the *Types and Programming Language* by B. Pierce
  ☆19Updated last year
• Kha / nale
  Nix + Lean = Nale
  ☆12Updated 2 years ago
• yukikurage / purescript-jelly
  ☆66Updated 2 years ago
• uemurax / hott-ja
  HoTT in Japanese
  ☆34Updated last year
• unnohideyuki / bunny
  Haskell x Android
  ☆25Updated 2 years ago
• bydriv / mhc
  Minimal Haskell Compiler
  ☆63Updated 7 years ago
• Gabriella439 / haskell-flake
  Flake template for Haskell repository
  ☆37Updated 10 months ago
• dhall-lang / vscode-dhall-lsp-server
  VSCode pluging that provides LSP support for the Dhall programming language
  ☆17Updated 2 years ago
• BeFunctional / haskell-rust-ffi
  ☆16Updated 2 years ago
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆52Updated last year
• mitsuchi / ron
  小さい計算体系をシンプルに定義できるような言語をつくりたい
  ☆12Updated 5 months ago
• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆29Updated last year
• fetburner / type-infer
  A Formal Verification of Algorithm W
  ☆17Updated 4 years ago
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated last year
• NorfairKing / really-safe-money
  Uncompromisingly safe money library
  ☆60Updated 2 months ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated last year
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated 6 months ago
• glguy / toml-parser
  Haskell parser and printer for the TOML 1.0.0 file format
  ☆26Updated 3 months ago
• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆33Updated 5 years ago
• arowM / heterocephalus
  A type safe template engine for collaborating with front end development tools
  ☆52Updated last year
• Deewiant / glob
  Haskell library for glob matching
  ☆25Updated 3 years ago
• BeFunctional / haskell-foreign-rust
  ☆13Updated 2 years ago
• postsolar / tree-sitter-purescript
  ☆20Updated last month
• ymyzk / lambda-dti
  Interpreter of the ITGL with dynamic type inference
  ☆22Updated 5 months ago
• sbdchd / dhall-docker-compose
  A library for writing Docker Compose files in Dhall.
  ☆25Updated last year
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
  ☆146Updated last month
• fumieval / winery
  Preservative serialisation format
  ☆92Updated 8 months ago