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. We may earn a commission when you buy through links labeled 'Ad' on this page.
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,432Updated this week
- Functional programming with fewer indirections☆780Aug 20, 2020Updated 5 years ago
- A safe and efficient target language for functional compilers☆20May 5, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,057Jun 13, 2025Updated 9 months ago
- 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 last month
- An ML-like functional programming language☆345Oct 17, 2021Updated 4 years ago
- Koka language compiler and interpreter☆3,865Updated this week
- Write Elixir code using statically-typed Elm-like syntax (compatible with Elm tooling)☆1,149Mar 17, 2020Updated 6 years ago
- Haskell compiler infastructure for WebAssembly☆354Dec 24, 2017Updated 8 years ago
- A simple expressions language with polymorphic extensible row types.☆307Apr 21, 2023Updated 2 years ago
- A friendly programming language from the future☆6,572Updated this week
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A native compiler backend for PureScript (via C++ or Golang)☆637Mar 28, 2023Updated 3 years ago
- MIGRATED! This was transfered to https://cycle.js.org/api/state.html☆279Nov 8, 2018Updated 7 years ago
- A stream library for purescript☆16Mar 21, 2017Updated 9 years ago
- A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧☆624May 16, 2021Updated 4 years ago
- A static, type inferred and embeddable language written in Rust.☆3,389Dec 6, 2024Updated last year
- A statically typed lisp, without a GC, for real-time applications.☆5,861Mar 28, 2026Updated last week
- A strongly-typed language that compiles to JavaScript☆8,842Mar 24, 2026Updated 2 weeks ago
- Compiles Haskell to WebAssembly☆167Mar 4, 2019Updated 7 years ago
- A Cycle.js-like utility for working with Purescript-Event☆29Dec 13, 2021Updated 4 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Haskell Type Level Example Programs☆28Nov 30, 2017Updated 8 years ago
- A Cycle.js driver for elegantly loading data☆12Dec 30, 2017Updated 8 years ago
- A Dependently Typed Functional Programming Language☆3,466Feb 17, 2025Updated last year
- [WIP] A browser lite client for the Scuttlebutt network☆19Jan 11, 2019Updated 7 years ago
- A mostly functional haskell compiler written in rust☆321Dec 23, 2023Updated 2 years ago
- Functional programming inspired by ML for the Erlang VM☆1,461Jun 13, 2020Updated 5 years ago
- The Lux Programming Language☆1,728Jan 28, 2026Updated 2 months ago
- A tasty Haskell web framework☆2,387Updated this week
- Extension of the Callbag spec to add operator metadata☆59Mar 3, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- An interpreter for a small ML-ish language☆11Oct 6, 2017Updated 8 years ago
- Programming language agnostic type construction language based on polynomials.☆371May 29, 2024Updated last year
- WebAssembly Code Generation Backend for Idris Compiler☆82Jun 26, 2018Updated 7 years ago
- A modern proof language☆3,732Jan 22, 2025Updated last year
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆706Apr 1, 2026Updated last week
- lamdu - towards the next generation IDE☆1,891Mar 18, 2026Updated 3 weeks ago
- An easier way to do collections in Cycle.js☆60Dec 14, 2018Updated 7 years ago