samuelgruetter

Mailpile

A free & open modern, fast email client with user-friendly encryption and privacy features

proposal-pattern-matching

Pattern matching syntax for ECMAScript

rxmarbles

Interactive diagrams of Rx Observables

dafny

Dafny is a verification-aware programming language

yoha

A practical hand tracking engine.

magicmethods

Guide to Python's magic methods

RxScala

RxScala – Reactive Extensions for Scala – a library for composing asynchronous and event-based programs using observable sequences

chvote-1-0

Electronic vote system, version 1.

whiteglass

Minimal, responsive Jekyll theme for hackers

incredible

The Incredible Proof Machine

parsimony

certicoq

A Verified Compiler for Gallina, Written in Gallina

The-Mechanization-of-Standard-ML

The Mechanization of Standard ML

name-the-biggest-number

rxscala-js

Scala idiomatic wrapper for RxJS

parsequery

A fast parser combinator library, with extra querying goodness

phd-thesis

Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.

canonical-binary-tries

Coq development accompanying the paper "Efficient Extensional Binary Tries"

RxJavaGames

10 games in RxJava + JavaFx

calculus-of-constructions

a simple implementation of the pure calculus of constructions

rx-scala-wrapper

Straightforward rxjava wrapper for scala

c-verif-mark

astroattack

Space themed 2D platform game

critbit-coq

(An attempt at) A formally verified Coq implementation of crit-bit trees