SwampertX

dotfiles

undergraduate-thesis

Formalizing Coq Modules in the MetaCoq Project

dafny-rope

Rope in Dafny.

swampertx.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

academicpages.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

aoc-2022

AppFlowy-Docs

blog

metacoq

Metaprogramming in Coq

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

cs3203-fedora-base-docker

Fedora 30 with CMake, GCC, G++

cs3203-scratch

cv

dafny

Dafny is a verification-aware programming language

dl-librescore

Download sheet music

feast

Feature Store for Machine Learning

feast-test

to tamper with

fluminurs

A CLI client in Rust to access the reverse-engineered LumiNUS API

FStar

Verification system for effectful programs

homepage

judge_adventures

One man, part-time journey in the colosseum of competitive programming.

landing-page

lazermouse

metacoq-guard

MuseScore

MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!

nus-notes

TheHoTTGame

Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT

theHoTTGameGuide

tldr

📚 Collaborative cheatsheets for console commands

xv6-riscv

Xv6 for RISC-V