Michal Charemza's repositories
sqlite-s3-query
Python functions to query SQLite files stored on S3
aiodnsresolver
Python asyncio DNS resolver
OpenTTDLab
A Python framework for running reproducible experiments using OpenTTD
sqlite-memory-vfs
Python writable in-memory virtual filesystem for SQLite
stream-inflate
Uncompress Deflate and Deflate64 streams in pure Python (albeit compiled with Cython)
aiofastforward
Fast-forward time in asyncio Python by providing patched versions of loop.call_later, loop.call_at, loop.time, and asyncio.sleep.
gulp-download-stream
Gulp plugin for downloading files via http/https.
projections
Rotating the world before applying the Mercator projection in realtime in a browser
stream-parse-openttd
Python package to parse the contents of OpenTTD save games
conda-forge-staged-recipes
A place to submit conda recipes before they become fully fledged conda-forge feedstocks
fastzip
Fastzip is an opinionated Zip archiver and extractor with a focus on speed.
framework
A static site generator for data apps, dashboards, reports, and more. Observable Framework combines JavaScript on the front-end for interactive graphics with any language on the back-end for data analysis.
GildedRose-Refactoring-Kata
Starting code for the GildedRose Refactoring Kata in many programming languages.
govuk-eleventy-plugin-mermaid
Repository to demonstrate a possible conflict between govuk-eleventy-plugin and eleventy-plugin-mermaid
mirror-git-to-s3
Python function to mirror a git repository to S3
OpenTTDLab-MSc-Dissertation
MSc dissertation presenting OpenTTDLab
ParameterisedAI
A very basic OpenTTD AI, designed for exploring how its behaviour changes as parameters change
solers-theorem
A formalisation of Solèr's theorem using the Isabelle proof assistant