Adam Kurkiewicz's repositories
000
Language:HTML000
Language:Shell000
project_grasp
Project GRASP is an initiative directed at talented high school students aged 13–18, i.e. years S3–S6, although younger students are welcome on a self-selecting basis. Older students are welcome in the role of tutors. The initiative is carried out in form of weekly classes, hosted by Computing Science department at University of Glasgow. The classes focus on Computer Science and mathematics.
Language:Jupyter Notebook000
Language:TeX000
Language:Python000
Language:Python000
lean-1
Lean Theorem Prover
Language:C++Apache-2.0000
Language:Lean000
000
Language:Jupyter Notebook000
000
scipy
Scipy library main repository
Language:PythonNOASSERTION000
Language:Python000
GSoC
OBF Google Summer of Code
000
Language:JavaScriptMIT000
biopython
Official git repository for Biopython (converted from CVS)
Language:PythonNOASSERTION000
Language:R000
Language:TeX000
oldCode
Code from years ago
Language:Python000
Language:Lean000
Language:Python000
Language:JavaScript000