konn / ghc-wasm-earthly

Related projects ⓘ

Alternatives and complementary repositories for ghc-wasm-earthly

• ksrky / type-inference
  Type inference algorithms for functional programming languages
  ☆10Updated last year
• katsujukou / TaPL-in-PureScript
  The PureScript implementation for the *Types and Programming Language* by B. Pierce
  ☆17Updated 5 months ago
• cdepillabout / world-peace
  open union and open product types in Haskell
  ☆32Updated 4 years ago
• vmchale / rure
  Haskell bindings to Rust's regex library
  ☆18Updated 5 months ago
• purescript / purescript-foreign-object
  Functions for working with homogeneous JavaScript objects
  ☆28Updated 2 years ago
• elpinal / modules-rs
  An interpreter of F-ing modules
  ☆18Updated 5 years ago
• ksrky / Plato
  A purely functional programming language based on higher-order polymorphic lambda calculus
  ☆19Updated 9 months ago
• wasmerio / wasmer-ocaml
  OCaml bindings for Wasmer
  ☆33Updated 2 years ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 2 months ago
• tweag / haskell-binaryen
  Haskell bindings to binaryen.
  ☆13Updated 3 years ago
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆15Updated 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
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated last month
• msakai / data-interval
  Interval datatype, interval arithmetic, and interval-based containers for Haskell
  ☆21Updated 4 months ago
• lukel97 / lsp-test
  A functional test framework for LSP servers
  ☆35Updated 3 years ago
• tree-sitter / tree-sitter-agda
  Agda grammar for tree-sitter
  ☆33Updated this week
• ekmett / heaps
  Asymptotically optimal Brodal/Okasaki heaps
  ☆29Updated 2 weeks ago
• tfausak / imp
  Automatically import Haskell modules.
  ☆20Updated 3 weeks ago
• yav / haskell-lexer
  A fully compliant Haskell 98 lexer.
  ☆15Updated 2 weeks ago
• egison / sweet-egison
  Haskell library for non-deterministic pattern matching
  ☆17Updated 2 years ago
• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆19Updated 3 months ago
• purefunctor / purescript-ouroboros
  Ouroboros is a PureScript compiler written in PureScript.
  ☆18Updated last month
• NCrashed / aeson-injector
  Haskell library for injecting fields into aeson values
  ☆13Updated last year
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆13Updated 2 years ago
• cgohla / pureshell
  A Bash backend for PureScript
  ☆20Updated last year
• shin-sakata / Citrous
  Easy, Fast and Type-Safe Web Application Framework
  ☆32Updated 4 years ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• snoyberg / haskup
  Wrap up Haskell tools
  ☆15Updated 3 years ago
• purescript / purescript-exists
  Existential types as a library
  ☆34Updated last year