CLI 68000 assembler from the EASy68k project

Box2D is a 2D physics engine for games

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

A tiny JavaScript library for calculating sun/moon positions and phases.

A unified library for timetracking clients.

A very simple coq layer for spacemacs

A Chip-8 Emulator

py3status is an extensible i3status wrapper written in python

A proof of false in Coq.

Interactive theorem proving with Coq in vim.

Library for writing text-based user interfaces

Vim-fork focused on extensibility and usability