M. L. Pace's starred repositories
relation-algebra
Relation algebra library for Coq
godot_oculus_quest_toolkit
An easy to use VR toolkit for Oculus Quest development using the Godot game engine
build-your-own-x
Master programming by recreating your favorite technologies from scratch.
effects-rosetta-stone
A comparison of how computational effects and handlers are implemented in various programming languages.
introduction-to-algebraic-effects-and-handlers
Introduction to algebraic effects and handlers
greenICTer
A logic programming solution to assess the ecological footprint of your ICT system
metamath-book
Source of metamath book
metamath-exe
Metamath program - source code for the Metamath executable
group-explorer
Group theory visualization software in the browser
yt-dislikes-viewer
A browser extension that allows you to see dislikes on a youtube video after the youtube update