Adam Kurkiewicz's repositories

Language:LeanStargazers:1Issues:1Issues:0

2048

A small clone of 1024 (https://play.google.com/store/apps/details?id=com.veewo.a1024)

Language:Jupyter NotebookLicense:MITStargazers:0Issues:0Issues:0
Language:JavaLicense:MITStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0
Language:Jupyter NotebookStargazers:0Issues:0Issues:0
Language:Jupyter NotebookStargazers:0Issues:0Issues:0
Language:Jupyter NotebookStargazers:0Issues:0Issues:0

compfiles

Catalog Of Math Problems Formalized In Lean

Language:LeanLicense:Apache-2.0Stargazers:0Issues:0Issues:0

copy-nf-tower

Copy of Nextflow Tower system

License:MPL-2.0Stargazers:0Issues:0Issues:0
Language:TeXStargazers:0Issues:0Issues:0
Language:LuaStargazers:0Issues:0Issues:0

dropEst

Pipeline for initial analysis of droplet-based single-cell RNA-seq data

Language:C++License:GPL-3.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

Glasgow-Thesis-Template

A Glasgow University LaTeX thesis template.

Language:TeXStargazers:0Issues:0Issues:0
Language:Jupyter NotebookStargazers:0Issues:0Issues:0
Language:Jupyter NotebookStargazers:0Issues:0Issues:0
Language:CSSStargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:0Issues:0

psb-manuscript

Manuscript source for the People of the Pacific Symposium on Biocomputing

Language:CSSLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:Jupyter NotebookStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0
Language:Jupyter NotebookStargazers:0Issues:0Issues:0
Language:Jupyter NotebookStargazers:0Issues:0Issues:0
Language:Jupyter NotebookStargazers:0Issues:0Issues:0
Language:Jupyter NotebookStargazers:0Issues:0Issues:0

theorem_proving_in_lean

Theorem proving in Lean

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:Jupyter NotebookStargazers:0Issues:0Issues:0
Language:Jupyter NotebookStargazers:0Issues:0Issues:0

velocyto.py

RNA velocity estimation in Python

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0