A 2D maze generator + solver with OpenGL display written in Haskell

Track metrics from Prometheus expositions over time

A history rewriting tool for git.

Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq

A simple GPU hash table implemented in CUDA using lock free techniques

Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.

The Arend Proof Assistant

A dependently typed programming language, a successor to Idris

Recursion schemes for Idris

Distributed programming language that desugars to Morte

A bare-bones calculus-of-constructions

Various implementations of the Boehm-Berarducci encoding for various types in various programming languages.

Book: Introduction to Dependent Types with Idris

Trello like board based on React, Redux, React-dnd

A Wysiwyg editor build on top of ReactJS and DraftJS. https://jpuri.github.io/react-draft-wysiwyg

A Dependently Typed Functional Programming Language

Software Foundations in Idris

Ciao - Cloud Integrated Advanced Orchestrator

A declarative, type-safe UI library for PureScript.

PureScript language support for the Atom editor

JavaScript interface that works with GHCJS or GHC

Haskell to JavaScript compiler, based on GHC

GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2

A style guide for Haskell code.

Embed gloss in Gtk+ programs using gtkglext

Haskell IDE

Library for building GUI apps (written for Leksah)

Haskell IDE (restructured)

Haskell IDE