Skip to content
View HazardousPeach's full-sized avatar
22 followers · 0 following

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Block or report HazardousPeach

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

  • hazardouspeach.github.io Public

    Alex Sanchez-Stern's website

    HTML Updated Jan 8, 2025

  • filewatch Public

    Forked from ThomasMonkman/filewatch

    File watcher in c++

    C++ MIT License Updated Oct 24, 2024

  • glfw Public

    Forked from glfw/glfw

    A multi-platform library for OpenGL, OpenGL ES, Vulkan, window and input

    C zlib License Updated Oct 13, 2024

  • dolphin Public

    Forked from dolphin-emu/dolphin

    Dolphin is a GameCube / Wii emulator, allowing you to play games for these two platforms on PC with improvements.

    C++ Other Updated Sep 23, 2024

  • scripts Public

    Some scripts I find useful

    Emacs Lisp 2 Updated Sep 17, 2024

  • JuniorsToolbox Public

    Forked from JoshuaMKW/JuniorsToolbox

    Modern editor for Super Mario Sunshine, providing utilities for stage editing and more.

    C++ GNU General Public License v3.0 Updated Sep 16, 2024

  • libbti Public

    Forked from Sage-of-Mirrors/libbti

    Library to deal with the BTI image format that Nintendo used during the GameCube and Wii era.

    C MIT License Updated Sep 10, 2024

  • J3DUltra Public

    Forked from JoshuaMKW/J3DUltra

    Yet another J3D library, but this time in C++!

    C++ MIT License Updated Sep 2, 2024

  • coq_serapy Public

    Python bindings for Coq Serapi. Primarily designed for use in Proverbot9001. Works for Coq versions 8.9-8.12.

    Python 2 5 Updated Jun 20, 2024

  • pytanque Public

    Forked from LLM4Coq/pytanque

    Lighweight communication with Petanque

    Python Updated Jun 4, 2024

  • pylspclient Public

    Forked from yeger00/pylspclient

    LSP client implementation in Python, compatible with coq-lsp and coq_serapy

    Python MIT License Updated May 24, 2024

  • coqrel Public

    Forked from CertiKOS/coqrel

    Binary logical relations library for the Coq proof assistant

    Coq Other Updated May 14, 2024

  • coq2vec Public

    A module for encoding coq terms into fixed-width vectors

    Python 1 2 Updated Dec 12, 2023

  • pytorch-types Public

    Python 1 Updated Nov 27, 2023

  • coq-lsp Public

    Forked from ejgallego/coq-lsp

    Visual Studio Code Extension and Language Server Protocol for Coq

    OCaml GNU Lesser General Public License v2.1 Updated Apr 17, 2023

  • gestalt-ratio-rust Public

    A crate implementing gestalt pattern matching for Rust.

    Rust 1 GNU General Public License v3.0 Updated Jan 3, 2023

  • neutrons-bench Public

    The parts of uwplse/neutrons that are okay to share

    Coq Updated Sep 12, 2022

  • coquelicot Public

    Forked from thery/coquelicot
    Coq GNU Lesser General Public License v3.0 Updated Jun 6, 2022

  • coq-library-undecidability Public

    Forked from uds-psl/coq-library-undecidability

    A library of mechanised undecidability proofs in the Coq proof assistant.

    Coq Other Updated May 26, 2022

  • lin-alg-8.10 Public

    Forked from rocq-archive/lin-alg

    Linear Algebra

    Coq 1 GNU Lesser General Public License v2.1 Updated May 19, 2022

  • VST Public

    Forked from PrincetonUniversity/VST

    Verified Software Toolchain

    Coq Other Updated May 19, 2022

  • hardware Public

    Forked from rocq-archive/hardware

    Verification and synthesis of hardware linear arithmetic structures.

    Coq GNU Lesser General Public License v2.1 Updated May 12, 2022

  • quicksort-complexity Public

    Forked from rocq-archive/quicksort-complexity

    Proofs of Quicksort's worst- and average-case complexity

    Coq Other Updated May 9, 2022

  • coq_serapy_scraper Public

    A library for scraping proof data from a Coq .v file into static text, using the coq_serapy interface to Coq (a python binding for coq-serapi).

    Python 1 GNU General Public License v3.0 Updated Apr 20, 2022

  • zchinese Public

    Forked from rocq-archive/zchinese

    A proof of the Chinese Remainder Lemma

    Coq Updated Oct 28, 2020

  • Musescore-Doubletime Public

    A plugin for Musescore 3.0 for doubling the length of all notes in a sequence, ported from https://musescore.org/en/project/doubletime

    QML 1 Updated Aug 12, 2020

  • 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 May 22, 2019

  • goboard Public

    a simple go server

    Rust 1 Updated Jun 24, 2016

  • FpDebug Public

    Forked from fbenz/FpDebug

    Dynamic Program Analysis based on Valgrind to find Floating-Point Accuracy Problems

    C Updated Sep 29, 2014

  • AlienMuseumGame Public

    Game for CodeDay 2014

    Updated May 25, 2014