A port of QuickCheck to Idris

Introduction to AWS Lambda

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

the (very humble) beginnings of a kafka client for haskell

A utility for displaying the module dependencies of Haskell programs.

HTTP API design guide extracted from work on the Heroku Platform API

A framework for distributed systems verification, with fault injection

An implementation of Prototype-based Object Oriented Programming system, using Java basic constructs.

An implementation of Prototype-based Object Oriented Programming system, using Java basic constructs.

A forth implementation on the JVM

Collection of lombok extensions

Analyst's swiss army knife for visualizing data from ad-hoc log files

CGLIB fork

CGLIB fork, to try things! ... well it's even harder than already thought !

a toy synthesizer to explore haskell concepts

Deuxième étape du challenge CodeStory

Deuxième étape du challenge CodeStory

FluentLenium makes the writing of acceptance testing more easy and in a fluent way using the power of css selectors. Build upon Selenium WebDriver. goTo("http://mywebpage/"); fill("#firstName").wit…

Various utilities

Library for manipulating bytecode and extracting coverage information

A library for graphs and graphs layout in java

Visualizing the activity of many concurrent processes

Materials for Agile Tour 2011 session on Specification by Example and Acceptance Test-Driven Development

FluentLenium is a web & mobile automation framework which extends Selenium to write reliable and resilient UI functional tests. This framework is React ready. Written and maintained by people who a…