Skip to content
View SwampertX's full-sized avatar
46 followers · 54 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report SwampertX

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • swampertx.github.io Public

    Forked from academicpages/academicpages.github.io

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

    JavaScript MIT License Updated Sep 20, 2024

  • metacoq Public

    Forked from MetaCoq/metacoq

    Metaprogramming in Coq

    Coq MIT License Updated Sep 16, 2024

  • metacoq-guard Public

    Coq Updated Aug 20, 2024

  • coq Public

    Forked from 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 develo…

    OCaml GNU Lesser General Public License v2.1 Updated Jul 17, 2024

  • cv Public

    Typst Updated Jun 5, 2024

  • TheHoTTGame Public

    Forked from thehottgame/TheHoTTGame

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

    Agda Updated Apr 5, 2024

  • theHoTTGameGuide Public

    Forked from thehottgame/theHoTTGameGuide
    Updated Apr 5, 2024

  • dl-librescore Public

    Forked from LibreScore/dl-librescore

    Download sheet music

    TypeScript MIT License Updated Jan 18, 2024

  • grammarly Public

    Forked from znck/grammarly

    Grammarly for VS Code

    TypeScript MIT License Updated Dec 17, 2023

  • undergraduate-thesis Public

    Formalizing Coq Modules in the MetaCoq Project

    Coq 2 Creative Commons Zero v1.0 Universal Updated Nov 14, 2023

  • landing-page Public

    HTML Updated Aug 8, 2023

  • homepage Public

    Updated Aug 8, 2023

  • dafny-rope Public

    Rope in Dafny.

    Dafny 1 MIT License Updated Apr 23, 2023

  • dafny Public

    Forked from dafny-lang/dafny

    Dafny is a verification-aware programming language

    C# Other Updated Feb 20, 2023

  • aoc-2022 Public

    Python GNU General Public License v3.0 Updated Dec 7, 2022

  • AppFlowy-Docs Public

    Forked from AppFlowy-IO/AppFlowy-Docs
    GNU Affero General Public License v3.0 Updated Jun 30, 2022

  • nus-notes Public

    TeX Other Updated Nov 15, 2021

  • blog Public

    My Hugo blog. Deployed on

    HTML 1 Updated Nov 12, 2021

  • dotfiles Public

    dotfiles
    TeX 2 Updated Oct 7, 2021

  • tldr Public

    Forked from tldr-pages/tldr

    📚 Collaborative cheatsheets for console commands

    Markdown Other Updated Aug 30, 2021

  • FStar Public

    Forked from FStarLang/FStar

    Verification system for effectful programs

    F* Apache License 2.0 Updated Jun 15, 2021

  • MuseScore Public

    Forked from musescore/MuseScore

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

    C++ Other Updated May 22, 2021

  • xv6-riscv Public

    Forked from mit-pdos/xv6-riscv

    Xv6 for RISC-V

    C Other Updated May 21, 2021

  • lazermouse Public

    Python The Unlicense Updated Jan 9, 2021

  • fluminurs Public

    Forked from fluminurs/fluminurs

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

    Rust MIT License Updated Jan 7, 2021

  • judge_adventures Public

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

    C++ Updated Dec 8, 2020

  • feast-test Public archive

    to tamper with

    Java 1 Apache License 2.0 Updated Nov 13, 2020

  • feast Public

    Forked from feast-dev/feast

    Feature Store for Machine Learning

    Java Apache License 2.0 Updated Aug 21, 2020

  • cs3203-scratch Public

    C++ Updated Aug 18, 2020

  • cs3203-fedora-base-docker Public

    Fedora 30 with CMake, GCC, G++

    Dockerfile Updated Aug 18, 2020