Stars
A Header-Only CDCL SAT Solver for Programming Contest
Algorithmic code snippets, mainly for programming contests
Robust, fast, scalable, and sandboxed open-source online code execution system for humans and AI.
Rich is a Python library for rich text and beautiful formatting in the terminal.
An opinionated list of awesome Python frameworks, libraries, software and resources.
JAX - A curated list of resources https://github.com/google/jax
Activate your test enviroment, so you can use your test dependencies in the REPL
A sample project that exists for PyPUG's "Tutorial on Packaging and Distributing Projects"
Common data structures and algorithms in Rust
Google Drive Public File Downloader when Curl/Wget Fails
Client implementation of the Language Server Protocol for Sublime Text
Library code for programming contests
Debug and visualize computational geometry problems
18.335 - Introduction to Numerical Methods course
Multiplayer team tactics game on a hex grid
A realtime collaborative IDE with code execution, intellisense, mobile support, and built-in USACO submissions.