Coq code formatter

Collection of oral questions and exam material

Relation algebra library for Coq

An easy to use VR toolkit for Oculus Quest development using the Godot game engine

A LaTeX class for producing presentations and slides

Open source file system for small embedded systems

⛅ The right way to check the weather

A simple, modern, 64 bit operating system.

Master programming by recreating your favorite technologies from scratch.

A simple and clean, glsl like, math (linear algebra) header only library for C.

A comparison of how computational effects and handlers are implemented in various programming languages.

Introduction to algebraic effects and handlers

Recreate any audio track by rearranging the frames of another video

A logic programming solution to assess the ecological footprint of your ICT system

pgf/TikZ diagram editor

Source of metamath book

Metamath source file for logic and set theory

Metamath program - source code for the Metamath executable

1989 curses implementation of the ancient lunar lander video game. Updated recently to ANSI C and Linux.

Animation engine for explanatory math videos

All Algorithms implemented in Python

Group theory visualization software in the browser

opuntiaOS - an operating system targeting x86, ARM and RISC-V.

an astronomy library to compute orbits and ephemerides

A browser extension that allows you to see dislikes on a youtube video after the youtube update

Materiale per il corso di paradigmi di programmazione

Is a number even?

A parser generator for C

Monolingual wordlists with pronunciation information in IPA