SwampertX

Theoretical CS Research Masters (MPRI) student at École Polytechnique.

Pinned Repositories

feast
The Open Source Feature Store for Machine Learning
Language:Python5.3k 72 1.3k950
academicpages.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:JavaScript0 1 00
Alpha-Meal
Lunch. Easier. Web app for your next meal.
Language:HTML0 3 00
aoc-2022
Language:Python0 2 00
AppFlowy-Docs
0 2 00
dafny-rope
Rope in Dafny.
Language:Dafny1 2 00
dotfiles
Language:TeX2 2 00
metacoq
Metaprogramming in Coq
Language:Coq0 2 00
swampertx.github.io
My Hugo blog. Deployed on
Language:HTML1 3 40
undergraduate-thesis
Formalizing Coq Modules in the MetaCoq Project
Language:Coq2 2 00

SwampertX's Repositories

SwampertX/dotfiles
Language:TeX2 2 00
SwampertX/undergraduate-thesis
Formalizing Coq Modules in the MetaCoq Project
Language:Coq2 2 00
SwampertX/dafny-rope
Rope in Dafny.
Language:Dafny1 2 00
SwampertX/swampertx.github.io
My Hugo blog. Deployed on
Language:HTML1 3 40
SwampertX/academicpages.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:JavaScript0 1 00
SwampertX/aoc-2022
Language:Python0 2 00
SwampertX/AppFlowy-Docs
0 2 00
SwampertX/blog
Language:JavaScript0 3 00
SwampertX/metacoq
Metaprogramming in Coq
Language:Coq0 2 00
SwampertX/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.
Language:OCaml1 0
SwampertX/cs3203-fedora-base-docker
Fedora 30 with CMake, GCC, G++
Language:Dockerfile3 0
SwampertX/cs3203-scratch
Language:C++3 0
SwampertX/cv
Language:Typst
SwampertX/dafny
Dafny is a verification-aware programming language
Language:C#1 0
SwampertX/dl-librescore
Download sheet music
Language:TypeScript1 0
SwampertX/feast
Feature Store for Machine Learning
Language:Java2 0
SwampertX/feast-test
to tamper with
Language:Java2 01
SwampertX/fluminurs
A CLI client in Rust to access the reverse-engineered LumiNUS API
Language:Rust2 0
SwampertX/FStar
Verification system for effectful programs
Language:F*2 0
SwampertX/homepage
2 0
SwampertX/judge_adventures
One man, part-time journey in the colosseum of competitive programming.
Language:C++2 0
SwampertX/landing-page
Language:HTML3 0
SwampertX/lazermouse
Language:Python3 0
SwampertX/MuseScore
MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!
Language:C++3 0
SwampertX/nus-notes
Language:TeX3 0
SwampertX/sharedb
Realtime database backend based on Operational Transformation (OT)
Language:JavaScript2 0
SwampertX/TheHoTTGame
Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
SwampertX/theHoTTGameGuide
SwampertX/tldr
📚 Collaborative cheatsheets for console commands
Language:Markdown2 0
SwampertX/xv6-riscv
Xv6 for RISC-V
Language:C2 0