Alternatives and similar repositories for ghc-wasm-earthly

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

• katsujukou / TaPL-in-PureScript
  The PureScript implementation for the *Types and Programming Language* by B. Pierce
  ☆19Updated last year
• ksrky / Plato
  A purely functional programming language based on higher-order polymorphic lambda calculus
  ☆21Updated last year
• deepflowinc-oss / guardian
  guardian - the border guardian for your Haskell monorepo package dependencies
  ☆40Updated last month
• memento-org / memento-lang
  A compiler for language "memento"
  ☆28Updated 3 months ago
• Kha / nale
  Nix + Lean = Nale
  ☆12Updated 2 years ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated 3 weeks ago
• Gabriella439 / haskell-flake
  Flake template for Haskell repository
  ☆37Updated last year
• yukikurage / purescript-jelly
  ☆65Updated 2 years ago
• BeFunctional / haskell-rust-ffi
  ☆17Updated 2 years ago
• qnighy / logic-solver-rs
  ☆45Updated 2 years ago
• mitsuchi / ron
  小さい計算体系をシンプルに定義できるような言語をつくりたい
  ☆12Updated this week
• NorfairKing / really-safe-money
  Uncompromisingly safe money library
  ☆60Updated 4 months ago
• uemurax / hott-ja
  HoTT in Japanese
  ☆34Updated 2 years ago
• algebraic-dev / http
  🌐 | HTTP primitives for Lean 4
  ☆46Updated 11 months ago
• byteverse / posix-api
  haskell posix bindings
  ☆19Updated 2 months ago
• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆29Updated last year
• ymyzk / lambda-dti
  Interpreter of the ITGL with dynamic type inference
  ☆21Updated 7 months ago
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆52Updated last year
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆11Updated 6 months ago
• BeFunctional / haskell-foreign-rust
  ☆16Updated 2 years ago
• purescript / registry
  Registry of PureScript packages and metadata about them
  ☆47Updated this week
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated last year
• postsolar / tree-sitter-purescript
  ☆20Updated 3 months ago
• agda / agda-language-server
  Language Server for Agda
  ☆115Updated 3 weeks ago
• Unisay / purescript-lua
  Purescript compiler back-end for Lua
  ☆57Updated 5 months ago
• purescm / purescm
  Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).
  ☆73Updated 9 months ago
• dhall-lang / vscode-dhall-lsp-server
  VSCode pluging that provides LSP support for the Dhall programming language
  ☆17Updated 2 years ago
• fetburner / type-infer
  A Formal Verification of Algorithm W
  ☆17Updated 4 years ago
• coord-e / thrust
  Refinement type checking and inference tool for Rust
  ☆15Updated 3 weeks ago
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…
  ☆150Updated 3 months ago