Tool to sync between TrainingPeaks, TrainerRoad and Intervals.icu

Haskell Tiny Game Jam

A repository for material from the reading group on NbE

Solutions for Okasaki's "Purely functional data structures" book

Tricks you wish the Coq manual told you [maintainer=@tchajed]

Collection of advice for prospective and current PhD students

A monadic implementation of John McCarthy's `amb` (choice operator)

The Ott tool for writing definitions of programming languages and calculi

Monadic effects and equational reasonig in Coq

Pomsets with Predicate Transformers: a relaxed memory model for compositional reasoning about program fragments

game engine

A list of Hanabi strategies

A curated list of awesome Coq frameworks, libraries and software.

Hahn: A Coq library

Intermediate Memory Model (IMM) and compilation correctness proofs for it

A library for mining of path-based representations of code (and more)

SC Mini is a "minimal" positive supercompiler

Scala + Akka Game Server