A mini-library for destructive group matching of regexes in Python using recently proposed Structural Pattern Matching (https://www.python.org/dev/peps/pep-0622/).

Ember.js - A JavaScript framework for creating ambitious web applications

Summary and cheatsheet for the "Machine Learning" class of EPFL's Computer Science Masters

Cheatsheet prepared for the final exam (2015) of the Intelligent Agents class of EPFL's Computer Science Masters.

Verification framework and tool for higher-order Scala programs

The Leon system for verification, synthesis, repair

ember-concurrency is an Ember Addon that enables you to write concise, worry-free, cancelable, restartable, asynchronous tasks.

Empowering everyone to build reliable and efficient software.

A message queue framework, with support for middleware and multiple adapters.

Very simple ember-cli-deploy plugin to deploy both index.html and assets through SSH

Factories and helper functions for (unit, integration, acceptance) testing + development scenarios with Ember Data

Ember addon for managing external jQuery events within the components