A strongly-typed language that compiles to JavaScript

A friendly programming language from the future

An advanced keyboard manager

A modern proof language

The Eta Programming Language, a dialect of Haskell on the JVM

lamdu - towards the next generation IDE

Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.

Homomorphic machine learning

Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

A programming language with static memory management based on λ-calculus

Extremely modular text editor built in Haskell

A language for intent-centric and declarative decentralised applications

A Programming Language for Deep Learning

A comprehensive self-management System

HVM3

Bend2 - WIP

Keyboard Layout Files Creator

CQL: Categorical Query Language implementation in Haskell

Play Minesweeper by formally proving your moves in Idris

Adding OCR support to Notion

Compile Idris to Vimscript, like you always wanted.

Python backend for Idris (generates Python source, not bytecode).

GHC Whole Program Compiler and External STG IR tooling

Idris LLVM codegen factored out

WebAssembly Code Generation Backend for Idris Compiler

Experimental Malfunction backend for Idris

Qmuli - Serverless framework for Haskell

A set of patches to make Hackage compatible with the Eta language.

A code-generator for Idris that targets Elixir