A dependently typed programming language, a successor to Idris

A static code analysis tool for the Elixir language with a focus on code consistency and teaching.

LSTM trained on the first five ASOIAF/GOT books

Set up a modern web app by running one command.

Create temporary table-backed ActiveRecord models for use in tests

Ruby Imperative Random Data Generator and Quickcheck

A new UI for git. This doesn't work yet.

Generative/property-based testing for RSpec

A strongly-typed language that compiles to JavaScript

Peace of mind from prototype to production

ClojureScript interface to Facebook's React

Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing co…

Syphon data from an arel source into ElasticSearch.

QuickCheck for Clojure

Example code for Understanding Computation

The brass buckles on Underscore's utility belt

Functional Reactive Programming in Ruby.

Distributed non-chatty feature switches

Serious functional programming library for JavaScript.

The Pedestal Server-side Libraries

Efficient, Immutable, Thread-Safe Collection classes for Ruby

MiniKanren implementation in Ruby

A pattern matching library for Ruby

lattice-based miniKanren, inspired by lambda-LVars

1Password on the command line.

A small PEG based parser library. See the Hacking page in the Wiki as well.

Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.

Gem for splitting up stylesheets that go beyond the IE limit of 4095 selectors, for Rails 3.1+ apps using the Asset Pipeline.