evincarofautumn

kitten

A statically typed concatenative systems programming language.

Toody

A two-dimensional parser combinator library.

protodata

A textual language for binary data.

Ward

A static analysis tool for C.

Hap

A simple concurrent programming language.

hap-hs

Haskell [re]implementation of Hap, a simple event-based programming language.

virtual-machine

Toy optimising virtual machine

ktn

lll

A Linear-Logical Language (working title)

aoc-2018

Advent of Code 2018

ghc

Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.

Janus

An implementation of the Janus reversible programming language

justly

An implementation of justified containers in Rust

LanguageCTest

Old performance tests for language-c

higher-rank

A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism

kittenlang.org

http://kittenlang.org/

store

Fast binary serialization

Dotfiles

Exactly what it says on the tin.

evincarofautumn

evincarofautumn.github.io

freer-simple

A friendly effect system for Haskell

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

haskell-companies

A gently curated list of companies using Haskell in industry

Idris-dev

A Dependently Typed Functional Programming Language

language-c

Source repository for https://hackage.haskell.org/package/language-c

monadic-bang

GHC plugin to desugar ! into do-notation

mono

Mono open source ECMA CLI, C# and .NET implementation.

proglangdesign.github.io

A website for the #proglangdesign community on freenode

rust

A safe, concurrent, practical language.

website

Mono's web site.