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 5 months ago
• Kha / nale
  Nix + Lean = Nale
  ☆12Updated 2 years ago
• deepflowinc-oss / guardian
  guardian - the border guardian for your Haskell monorepo package dependencies
  ☆41Updated 3 months ago
• fetburner / type-infer
  A Formal Verification of Algorithm W
  ☆17Updated 4 years ago
• qnighy / logic-solver-rs
  ☆46Updated 2 years ago
• Gabriella439 / haskell-flake
  Flake template for Haskell repository
  ☆38Updated last year
• BeFunctional / haskell-rust-ffi
  ☆17Updated 2 years ago
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated last year
• susisu / effects
  Poor man's algebraic effects for TypeScript (PoC); next -> https://github.com/susisu/effectful
  ☆23Updated 2 years ago
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆38Updated 3 years ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated 3 weeks ago
• dhall-lang / vscode-dhall-lsp-server
  VSCode pluging that provides LSP support for the Dhall programming language
  ☆17Updated 2 years ago
• egison / sweet-egison
  Haskell library for non-deterministic pattern matching
  ☆17Updated 3 years ago
• algebraic-dev / http
  🌐 | HTTP primitives for Lean 4
  ☆49Updated last year
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated this week
• mitsuchi / ron
  小さい計算体系をシンプルに定義できるような言語をつくりたい
  ☆13Updated 3 weeks ago
• ymyzk / lambda-dti
  Interpreter of the ITGL with dynamic type inference
  ☆21Updated 9 months ago
• sbdchd / dhall-docker-compose
  A library for writing Docker Compose files in Dhall.
  ☆27Updated last year
• njaremko / purescript-deno
  ☆28Updated 3 years ago
• yukikurage / purescript-jelly
  ☆65Updated 2 years ago
• hasktorch / hasktorch-skeleton
  Nix Skeleton Hasktorch project made for easy cloning and forking
  ☆16Updated 6 months ago
• Deewiant / glob
  Haskell library for glob matching
  ☆25Updated 3 years ago
• BeFunctional / haskell-foreign-rust
  ☆16Updated 2 years ago
• ryota-ka / dotfiles
  My configuration files
  ☆16Updated last year
• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆30Updated last year
• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆33Updated 5 years ago
• andys8 / type-signature-com
  Who Wants to Be a Millionaire - but with types
  ☆89Updated 2 years ago
• purescript / registry
  Registry of PureScript packages and metadata about them
  ☆48Updated this week