REST API for any Postgres database

Parsing, analyzing, and comparing source code across many languages

A strongly-typed language that compiles to JavaScript

Compiler for Elm, a functional language for reliable webapps.

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

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

A Dependently Typed Functional Programming Language

Agda is a dependently typed programming language / interactive theorem prover.

🇪🇺 Wire back-end services

A wiki using HAppS, pandoc, and git

Dapp, Seth, Hevm, and more

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)

The Haskell-Scriptable Editor

Deep Learning in Haskell

A statically typed concatenative systems programming language.

Carthage cache for S3, Minio, Ceph, Google Storage, Artifactory and many others

A demo implementation of a simple dependently-typed language

In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code example…

Symbolic and concrete EVM execution engine

Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.

A framework to execute and verify algorithms using Groth16 zkSNARKs.

The RiscvSpecKami package provides SiFive's RISC-V processor model. Built using Coq, this processor model can be used for simulation, model checking, and semantics analysis. The RISC-V processor mo…

Example uses of monads

The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language for Ethereum, powered by YulDSL/Haskell).