Ian's repositories

cf-tool

:bar_chart: Codeforces CLI (Submit, Parse, Test, etc.). Support Contests, Gym, Groups, acmsguru, Windows, macOS, Linux, 4 MB

Language:GoLicense:MITStargazers:1Issues:0Issues:0

CoderCalendar-Extensions

Browser extensions for competitive programming enthusiasts

Language:JavaScriptStargazers:1Issues:0Issues:0

icpc-book

Book Code for ICPC; Unmaintained, see https://github.com/kth-competitive-programming/kactl/ or https://github.com/ecnerwala/cp-book

Language:C++License:MITStargazers:1Issues:0Issues:0

keycastr

KeyCastr, an open-source keystroke visualizer

Language:Objective-CStargazers:1Issues:0Issues:0
Language:PythonStargazers:1Issues:1Issues:0
Language:PythonStargazers:1Issues:1Issues:0

usaco-guide

A free collection of curated, high-quality resources to take you from Bronze to Platinum and beyond.

Language:TypeScriptLicense:NOASSERTIONStargazers:1Issues:0Issues:0
Language:PythonStargazers:1Issues:0Issues:0

GlimpseOfLean

An introduction to theorem proving in Lean for the impatient.

License:Apache-2.0Stargazers:0Issues:0Issues:0

reaction-network

Reaction Network is a Python package for predicting likely inorganic chemical reaction pathways using graph theoretical methods. Project led by @mattmcdermott (Lawrence Berkeley National Lab).

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0