SwampertX

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

Pinned Repositories

feast
The Open Source Feature Store for Machine Learning
Language:Python5.7k 75 1.5k1k
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
blog
My Hugo blog. Deployed on
Language:HTML1 3 00
cadet-frontend
Frontend for Source Academy
Language:JavaScript0 3 00
dafny-rope
Rope in Dafny.
Language:Dafny1 2 00
dotfiles
Language:TeX2 2 00
metacoq
Metaprogramming in Coq
Language:Coq0 2 00
undergraduate-thesis
Formalizing Coq Modules in the MetaCoq Project
Language:Coq2 2 00

SwampertX's Repositories

SwampertX/Alpha-Meal
Lunch. Easier. Web app for your next meal.
Language:HTML0 3 00
SwampertX/cadet-frontend
Frontend for Source Academy
Language:JavaScript0 3 00
SwampertX/cinnabot
Telegram Bot for Cinnamon College
Language:Go0 3 30
SwampertX/cochs
Language:Haskell0 2 00
SwampertX/Deedy-Resume
A one page , two asymmetric column resume template in XeTeX that caters to an undergraduate Computer Science student
Language:TeX2 0
SwampertX/duke
Language:Java2 6
SwampertX/fenix
Firefox Preview
Language:Kotlin2 0
SwampertX/google_image_downloader
Creating image datasets yourself from google image
Language:Python3 0
SwampertX/guilt
Address Book - Level 3
Language:Java2 0
SwampertX/hkust-bootstrap
Language:HTML3 0
SwampertX/ivle-downloader
Language:Python3 0
SwampertX/jhu-angular-tut
3 0
SwampertX/job-quest-2018
TakeMeTour's Job Quest 2018 Edition (For JavaScript Engineer)
2 0
SwampertX/js-slang
Javascript-based intepreter for slang, written in Typescript
Language:TypeScript3 0
SwampertX/luminus-downloader
Language:Python4 0
SwampertX/Machine-Learning-Project
2 0
SwampertX/ml-playground
3 0
SwampertX/neovim
Vim-fork focused on extensibility and usability
Language:Vim script2 0
SwampertX/notes-to-cs-freshmen-from-the-future
Notes to (NUS) Computer Science Freshmen, From The Future (Original by @ejamesc)
3 0
SwampertX/nus-exams-downloader
Script and executable to download all exam scripts for an NUS module
Language:Python3 0
SwampertX/nus-scripts
Some useful scripts I use to make my life at NUS easier. :D
Language:Shell3 1
SwampertX/nusmods
🏫 Unofficial course planning platform for National University of Singapore.
Language:JavaScript
SwampertX/pe
3 8
SwampertX/ped
3 6
SwampertX/riot-android
A glossy Matrix collaboration client for Android
Language:Java2 0
SwampertX/se-book
:book: Online Book: Software Engineering for Self-Directed Learners
Language:CSS2 0
SwampertX/sharedb
Realtime database backend based on Operational Transformation (OT)
Language:JavaScript2 0
SwampertX/textbook-solutions
Language:Python3 0
SwampertX/tilted
Language:JavaScript3 0
SwampertX/zoom
Mozilla extension that zooms to a default level on any page.
Language:JavaScript3 0