Editor for AMS2 GDF gearbox files

Editor for AMS2 CDF files

AMS2 SDF File Editor

Web Content Site

Force Feedback Implementation for Modern Steering Wheel Controllers using DirectInput for Dos and Rendition Indycar Racing II

Cotizaciones del BROU

Generic UI for card games like Hearthstone, Magic Arena and Slay the Spire...

A Coq library for Homotopy Type Theory

Software for creating a DirectDrive Wheelbase for simracing, using an ODrive Robotics board and an industrial servo motor.

Several implementations of type-safe binary search trees (BST) and balanced binary search trees (AVL).

A command line application to capture iRacing replays,

C in four functions

Awesome Privacy - A curated list of services and alternatives that respect your privacy because PRIVACY MATTERS.

Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.

EPIT 2020 - Spring School on Homotopy Type Theory

An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation

The Ott tool for writing definitions of programming languages and calculi

A formalization of Constructive Projective Geometry in Agda

Functional teaching language for use in a discrete mathematics course

Google Chromium, sans integration with Google

An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

materials for CASS 2020

Arduino command line tool

αProlog

New version of the PML language and (classical) proof assistant

Implementations of various type systems in OCaml.

My slides and compilation of resources.