konn / ghc-wasm-earthlyLinks
GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly
☆14Updated 5 months ago
Alternatives and similar repositories for ghc-wasm-earthly
Users that are interested in ghc-wasm-earthly are comparing it to the libraries listed below
Sorting:
- A compiler for language "memento"☆28Updated 2 months ago
- The PureScript implementation for the *Types and Programming Language* by B. Pierce☆19Updated last year
- A purely functional programming language based on higher-order polymorphic lambda calculus☆21Updated last year
- guardian - the border guardian for your Haskell monorepo package dependencies☆39Updated 2 weeks ago
- Nix + Lean = Nale☆12Updated 2 years ago
- ☆65Updated 2 years ago
- ☆16Updated 2 years ago
- Flake template for Haskell repository☆37Updated 11 months ago
- Functions for working with homogeneous JavaScript objects☆28Updated 2 years ago
- haskell posix bindings☆19Updated last month
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- Source code for haskle.net☆30Updated 2 years ago
- Haskell library for non-deterministic pattern matching☆17Updated 3 years ago
- ☆20Updated 3 months ago
- Registry of PureScript packages and metadata about them☆47Updated this week
- A Formal Verification of Algorithm W☆17Updated 4 years ago
- Haskell library for glob matching☆25Updated 3 years ago
- Haskell Package Version Policy (PVP)☆40Updated last year
- A library for writing Docker Compose files in Dhall.☆26Updated last year
- Minimal Haskell Compiler☆63Updated 7 years ago
- Purely functional map and set data structures☆36Updated 3 months ago
- Haskell parser and printer for the TOML 1.0.0 file format☆27Updated last week
- PureScriptドキュメントの日本語訳☆12Updated 5 years ago
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆12Updated last month
- ☆45Updated 2 years ago
- VSCode pluging that provides LSP support for the Dhall programming language☆17Updated 2 years ago
- HoTT in Japanese☆34Updated last year
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆73Updated 8 months ago
- Preservative serialisation format☆92Updated 9 months ago
- Determine how intervals relate to each other.☆79Updated last month