konn / ghc-wasm-earthlyLinks
GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly
☆14Updated 7 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:
- 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
- A compiler for language "memento"☆29Updated 4 months ago
- ☆65Updated 2 years ago
- Nix + Lean = Nale☆12Updated 2 years ago
- Flake template for Haskell repository☆38Updated last year
- guardian - the border guardian for your Haskell monorepo package dependencies☆40Updated 2 months ago
- 🌐 | HTTP primitives for Lean 4☆49Updated last year
- Registry of PureScript packages and metadata about them☆48Updated 2 weeks ago
- Reference counting with linear types☆31Updated last week
- Haskell library for parsing v1.0 TOML files☆16Updated 7 months ago
- VSCode pluging that provides LSP support for the Dhall programming language☆17Updated 2 years ago
- ☆28Updated 3 years ago
- Purely functional map and set data structures☆36Updated 5 months ago
- A cross-platform driver for Tauri in Haskell☆52Updated last year
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆13Updated this week
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆73Updated 10 months ago
- A type safe template engine for collaborating with front end development tools☆54Updated 2 years ago
- Source code for haskle.net☆30Updated 2 years ago
- Haskell suite for determining what 級 (level) of the 漢字検定 (national Kanji exam) a given Kanji belongs to.☆24Updated 3 years ago
- Rough and Ready Haskell Notebooks with HLS and VS Code☆48Updated 3 years ago
- A tool to make solving type errors in Haskell simple and fun.☆38Updated 3 years ago
- ☆21Updated 5 months ago
- Missing utilities for Linear Haskell, for array, witness token, memory, parallelism, and streaming.☆12Updated last year
- ☆17Updated 2 years ago
- Template Haskell Implementation of Egison Pattern Matching☆33Updated 5 years ago
- Lean 4 port of Megaparsec☆29Updated last year
- Haskell library for non-deterministic pattern matching☆17Updated 3 years ago
- Purescript compiler back-end for Lua☆57Updated last month
- Functions for working with homogeneous JavaScript objects☆28Updated 3 years ago