A multi-syntax functional programming language that compiles to WebAssembly.
☆624Aug 4, 2021Updated 4 years ago
Alternatives and similar repositories for forest-compiler
Users that are interested in forest-compiler are comparing it to the libraries listed below
Sorting:
- Notes from my research for forest-lang☆12Feb 28, 2022Updated 4 years ago
- DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc☆1,950Nov 14, 2022Updated 3 years ago
- The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾☆3,422Updated this week
- Functional programming with fewer indirections☆780Aug 20, 2020Updated 5 years ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,057Jun 13, 2025Updated 9 months ago
- An ML-like functional programming language☆345Oct 17, 2021Updated 4 years ago
- Koka language compiler and interpreter☆3,823Feb 25, 2026Updated 2 weeks ago
- Write Elixir code using statically-typed Elm-like syntax (compatible with Elm tooling)☆1,149Mar 17, 2020Updated 5 years ago
- A simple expressions language with polymorphic extensible row types.☆305Apr 21, 2023Updated 2 years ago
- Haskell compiler infastructure for WebAssembly☆355Dec 24, 2017Updated 8 years ago
- A friendly programming language from the future☆6,542Mar 6, 2026Updated last week
- A simple, Apollo-based, GraphQL driver to be used with Cycle's most-run☆13Aug 7, 2019Updated 6 years ago
- A ML-family Language Compiled to Lua☆149Feb 21, 2026Updated 2 weeks ago
- A statically typed lisp, without a GC, for real-time applications.☆5,830Feb 26, 2026Updated 2 weeks ago
- A static, type inferred and embeddable language written in Rust.☆3,392Dec 6, 2024Updated last year
- A native compiler backend for PureScript (via C++ or Golang)☆638Mar 28, 2023Updated 2 years ago
- A Dependently Typed Functional Programming Language☆3,468Feb 17, 2025Updated last year
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆703Mar 2, 2026Updated last week
- A strongly-typed language that compiles to JavaScript☆8,835Feb 28, 2026Updated last week
- A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧☆624May 16, 2021Updated 4 years ago
- A dependently typed programming language, a successor to Idris☆900Aug 11, 2020Updated 5 years ago
- A modern proof language☆3,729Jan 22, 2025Updated last year
- [WIP] A browser lite client for the Scuttlebutt network☆19Jan 11, 2019Updated 7 years ago
- A Cycle.js-like utility for working with Purescript-Event☆29Dec 13, 2021Updated 4 years ago
- Compiles Haskell to WebAssembly☆167Mar 4, 2019Updated 7 years ago
- The Lux Programming Language☆1,723Jan 28, 2026Updated last month
- Maintainable configuration files☆959Mar 4, 2026Updated last week
- Haskell Type Level Example Programs☆28Nov 30, 2017Updated 8 years ago
- A Super Kawaii Dependently Typed Programming Language☆176Jul 12, 2018Updated 7 years ago
- A tasty Haskell web framework☆2,373Updated this week
- Functional programming inspired by ML for the Erlang VM☆1,460Jun 13, 2020Updated 5 years ago
- A mostly functional haskell compiler written in rust☆321Dec 23, 2023Updated 2 years ago
- lamdu - towards the next generation IDE☆1,890Jan 29, 2026Updated last month
- An alternative BEAM implementation, designed for WebAssembly☆3,591Oct 18, 2023Updated 2 years ago
- Template repo for theorem proving in Liquid Haskell☆32Sep 19, 2018Updated 7 years ago
- MIGRATED! This was transfered to https://cycle.js.org/api/state.html☆279Nov 8, 2018Updated 7 years ago
- Haskell-style functional programming language running on Erlang VM.☆1,035Feb 3, 2022Updated 4 years ago
- Haskell Standard Input and Output☆46May 13, 2018Updated 7 years ago
- Sandbox UI Components with Web Workers in the Cycle Architecture.☆18May 22, 2017Updated 8 years ago