Stars
A tool to create proxy sheet of card from the game Magic: The Gathering
Specification and implementation of Benveniste's contract theory in a framework formalized in Coq
A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
A color blindness simulator for Mac and iOS
Docker image with ready-to-play MTGO (Magic Online) for Linux and macOS
EASEA (EAsy Specification of Evolutionary Algorithms) is an Artificial Evolution platform developped by the SONIC (Stochastic Optimisation and Nature Inspired Computing) group of the BFO team at Un…
⌛ 🎩 🐇 Two fingers scroll moves through time instead of space
Interactive theorem proving with Coq in vim.
Rap song writing recurrent neural network trained on Kanye West's entire discography
Allow members of an organization to use their favorite chatting platform by replicating messages between IRC/Slack/Mattermost.
A website that challenges you with Go problems, with a Go engine written in Ruby from scratch.
Theses bots have to collect gems and eat each other just like agar.io