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
  ☆22Updated last year
• katsujukou / TaPL-in-PureScript
  The PureScript implementation for the *Types and Programming Language* by B. Pierce
  ☆19Updated last year
• memento-org / memento-lang
  A compiler for language "memento"
  ☆29Updated 6 months ago
• Kha / nale
  Nix + Lean = Nale
  ☆12Updated 2 years ago
• qnighy / logic-solver-rs
  ☆46Updated 3 years ago
• deepflowinc-oss / guardian
  guardian - the border guardian for your Haskell monorepo package dependencies
  ☆41Updated 4 months ago
• Gabriella439 / haskell-flake
  Flake template for Haskell repository
  ☆38Updated last year
• algebraic-dev / http
  🌐 | HTTP primitives for Lean 4
  ☆51Updated 2 weeks ago
• fetburner / type-infer
  A Formal Verification of Algorithm W
  ☆17Updated 4 years ago
• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆30Updated last year
• BeFunctional / haskell-rust-ffi
  ☆17Updated 2 years ago
• yukikurage / purescript-jelly
  ☆65Updated 2 years ago
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated last year
• BeFunctional / haskell-foreign-rust
  ☆16Updated 2 years ago
• tree-sitter / tree-sitter-agda
  Agda grammar for tree-sitter
  ☆41Updated 4 months ago
• andys8 / type-signature-com
  Who Wants to Be a Millionaire - but with types
  ☆89Updated 2 years ago
• sbdchd / dhall-docker-compose
  A library for writing Docker Compose files in Dhall.
  ☆27Updated last year
• glguy / toml-parser
  Haskell parser and printer for the TOML 1.0.0 file format
  ☆29Updated 3 weeks ago
• haskell-jp / unicode-show
  A Haskell Package for unescaping unicode characters in print and show.
  ☆18Updated 3 years 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…
  ☆153Updated 6 months ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated last month
• ymyzk / lambda-dti
  Interpreter of the ITGL with dynamic type inference
  ☆21Updated 10 months ago
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆52Updated last year
• Jakobeha / type-sitter
  generate typed wrappers for tree-sitter grammars from node-types.json and queries
  ☆40Updated 2 months ago
• tfausak / rampart
  Determine how intervals relate to each other.
  ☆79Updated 3 weeks ago
• monaqa / satysfi-parser
  SATySFi parser writtern in Rust.
  ☆14Updated 3 years ago
• byorgey / split
  Standard Haskell list splitting library.
  ☆57Updated 7 months ago
• mitsuchi / ron
  小さい計算体系をシンプルに定義できるような言語をつくりたい
  ☆16Updated last month
• bydriv / mhc
  Minimal Haskell Compiler
  ☆63Updated 7 years ago
• uemurax / hott-ja
  HoTT in Japanese
  ☆36Updated 2 years ago