Adam Kurkiewicz's repositories
2048
A small clone of 1024 (https://play.google.com/store/apps/details?id=com.veewo.a1024)
Language:Jupyter NotebookMIT000
Language:JavaMIT000
Language:Jupyter Notebook000
Language:Jupyter Notebook000
Language:Jupyter Notebook000
compfiles
Catalog Of Math Problems Formalized In Lean
Language:LeanApache-2.0000
copy-nf-tower
Copy of Nextflow Tower system
MPL-2.0000
Language:TeX000
Language:Lua000
dropEst
Pipeline for initial analysis of droplet-based single-cell RNA-seq data
Language:C++GPL-3.0000
Glasgow-Thesis-Template
A Glasgow University LaTeX thesis template.
Language:TeX000
Language:Jupyter Notebook000
Language:Jupyter Notebook000
Language:CSS000
Language:HTML000
psb-manuscript
Manuscript source for the People of the Pacific Symposium on Biocomputing
Language:CSSNOASSERTION000
Language:Jupyter Notebook000
Language:Python000
Language:Jupyter Notebook000
Language:Jupyter Notebook000
Language:Jupyter Notebook000
Language:Jupyter Notebook000
theorem_proving_in_lean
Theorem proving in Lean
Language:PythonApache-2.0000
Language:PythonNOASSERTION000
Language:Jupyter Notebook000
Language:Jupyter Notebook000
velocyto.py
RNA velocity estimation in Python
Language:PythonBSD-2-Clause000