A strongly-typed language that compiles to JavaScript

A friendly programming language from the future

A statically typed lisp, without a GC, for real-time applications.

A Haskell library that simplifies access to remote data, such as databases or web-based services.

A modern proof language

A Dependently Typed Functional Programming Language

💥💻💥 A data-parallel functional programming language

The engine for haskell ide-integration. Not an IDE

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

lamdu - towards the next generation IDE

Haskell to VHDL/Verilog/SystemVerilog compiler

Deep Learning in Haskell

A proper subset of Haskell that compiles to JavaScript

Tensors and neural networks in Haskell

Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just …

Project: M36 Relational Algebra Engine

A peer-to-peer stack for code collaboration

Functional programming with fewer indirections

Minimal implementations for dependent type checking and elaboration

A demo implementation of a simple dependently-typed language

The Software Analysis Workbench

Functional Reactive Programming domain-specific language for efficient hybrid systems

FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including har…

Smart Contracts Running on a BFT Hardened Raft

Write Emacs extensions in Haskell

Automatic Differentiation

✏️ 📊 - The Haskell code editor focused on interactive development.

Type inference and checking for a safer JavaScript.

Dependent type checker using normalisation by evaluation

Live recompiler for Haskell