Tiny Rust CLI to checkout a recent git branch interactively

Resource gathering + programming game

Web application for exploring and understanding Haskell codebases

Test monadic programs using state machine based models

🍜 A tasty Haskell web framework

Generic random generators

A code-completion engine for Vim

A proposal for supporting closurization for constructors, getters. setters and operators.

Jsonnet - The data templating language

Efficient Persistent Data Structures for Dart

Persists tmux environment across system restarts.

Convert lambda expressions to CCC combinators

Chrome Dev Editor is a developer tool for building apps on the Chrome platform - Chrome Apps and Web Apps, in JavaScript or Dart. (NO LONGER IN ACTIVE DEVELOPMENT)

A Dart port of the HTML5 Canvas (2nd Edition) Samples

Genetic algorithm library for Haskell. Binary and continuous (real-coded) GAs. Binary GAs: binary and Gray encoding; point mutation; one-point, two-point, and uniform crossover. Continuous GAs: Gau…

A Dart library for animating DOM elements on a web page.

Scala.react is a reactive programming library for Scala.

Plush - the comfy shell

Equational laws for free

Scala implementation of the quoridor board game

Small functional language that compiles to JavaScript.

NES rom editor

Incubation project for the official scala.swing distribution. See the wiki page for details.

haskell port of the gom tool (http://tom.loria.fr)

An encoding of the Calculus of Inductive Constructions (as implemented in Coq) in Europa.

A type-checker for the λΠ-modulo calculus.