konn / ghc-wasm-earthlyLinks
GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly
☆14Updated 9 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"☆29Updated 7 months ago
- The PureScript implementation for the *Types and Programming Language* by B. Pierce☆19Updated last year
- Nix + Lean = Nale☆12Updated 2 years ago
- A purely functional programming language based on higher-order polymorphic lambda calculus☆22Updated 2 years ago
- guardian - the border guardian for your Haskell monorepo package dependencies☆41Updated 5 months ago
- ☆65Updated 2 years ago
- ☆16Updated 2 years ago
- Flake template for Haskell repository☆38Updated last year
- Lean 4 port of Megaparsec☆34Updated 2 years ago
- ☆15Updated 2 years ago
- Reference counting with linear types☆32Updated 2 months ago
- Who Wants to Be a Millionaire - but with types☆89Updated 2 years ago
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- A Formal Verification of Algorithm W☆17Updated 4 years ago
- 🌐 | HTTP primitives for Lean 4☆52Updated last month
- A cross-platform driver for Tauri in Haskell☆52Updated last year
- A simple demo of Nixifying a multi-package Haskell project☆20Updated 3 months ago
- A type safe template engine for collaborating with front end development tools☆54Updated 2 years ago
- Registry of PureScript packages and metadata about them☆48Updated this week
- Minimal Haskell Compiler☆63Updated 7 years ago
- ☆28Updated 3 years ago
- A tool to make solving type errors in Haskell simple and fun.☆38Updated 3 years ago
- Functions for working with homogeneous JavaScript objects☆28Updated 3 years ago
- Source code for haskle.net☆30Updated 2 years ago
- Standard Haskell list splitting library.☆57Updated 8 months ago
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆73Updated last year
- Nix Skeleton Hasktorch project made for easy cloning and forking☆16Updated 7 months ago
- ☆46Updated 3 years ago
- Get your IO right on the first try☆55Updated last week
- Haskell library for parsing v1.0 TOML files☆16Updated 9 months ago