Pinned Repositories
CandyBlaster9000
2017 Candy Launching Bot
CompCert
The CompCert formally-verified C compiler
CompetitiveProgrammingReference
Reference files and data structure implementations for competitive programming (Java).
copra
COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.
draft_sketch_prove_fork
Electoral_College
Together with Tech entry: electoral_college
FRC-2018
FRC-2019
FRC Control System for 2019 Using VSCode
FRC-2020
FRC Control System for 2020 Infinite Recharge Using VSCode
FRC-2021
FRC Control System for 2021 Infinite Recharge Using VSCode
jxin31415's Repositories
jxin31415/CandyBlaster9000
2017 Candy Launching Bot
jxin31415/CompCert
The CompCert formally-verified C compiler
jxin31415/CompetitiveProgrammingReference
Reference files and data structure implementations for competitive programming (Java).
jxin31415/copra
COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.
jxin31415/draft_sketch_prove_fork
jxin31415/Electoral_College
Together with Tech entry: electoral_college
jxin31415/FRC-2018
jxin31415/FRC-2019
FRC Control System for 2019 Using VSCode
jxin31415/FRC-2020
FRC Control System for 2020 Infinite Recharge Using VSCode
jxin31415/FRC-2021
FRC Control System for 2021 Infinite Recharge Using VSCode
jxin31415/fun_verifier
A repository for programming language-related projects, practice, and research.
jxin31415/HackMIT2022
jxin31415/jxin31415.github.io
My Portfolio, Jimmy Xin -- Bellaire High School '21
jxin31415/pogs
jxin31415/QuantumKatas
Tutorials and programming exercises for learning Q# and quantum computing
jxin31415/plunder
Synthesizing action selection policies from noisy, low-level demonstrations
jxin31415/Portal-to-ISAbelle
https://albertqjiang.github.io/Portal-to-ISAbelle/
jxin31415/qisabelle
Query the Isabelle proof assistant with python
jxin31415/Stock_Marketplace
Upcoming app for financial tools and financial literacy
jxin31415/VEX-AI2021
VEX AI repository for the 2020-2021 school year: Change Up.
jxin31415/VEX2019
Team 2585 VEX Control Software for the 2018-19 season
jxin31415/VEX2020
VEX Robotics Competition repository for the 2019-2020 school year: Tower Takeover.
jxin31415/virtual-cloth