You are probably looking for my website, specifically, the open-source page.
I am broadly interested in Research Software Engineering, Scientific Computing, Scientific Machine Learning, Computer Vision, Theory of Computation, Formal Verification (Type Theory, Proof Theory), Functional Programming and DevOps. I am extremely passionate about Open-Source and Open-Science. I am also developing some taste for pure Software Engineering research (runtime verification, new testing methods, etc.).
Open-Source Software
Better here.
Main software
The software I am (or I was once) involved with as a maintainer, core developer, core contributor, or was funded to work on.
pybamm-team/PyBaMM | scikit-hep/vector | conda-forge/vector-feedstock | FluxML/Flux.jl | agda/agda-stdlib | pybamm-team/liionpack | pybamm-team/BattBot | smaranjitghose/DocLense | asmeurer/removestar | conda-forge/removestar-feedstock
Significant contributions
Significant voluntary contributions or spin-off projects (was not directly funded to work on them but my work expanded and encompassed them).
FluxML ecosystem | Scikit-HEP ecosystem | luluxvi/DeepXDE | zarr-developers/zarr-python | scientific-python/cookie
Small but nice contributions
Small contributions (not a spam spelling fix in README) that I did spend some time on.
sosy-lab/benchexec | colour-science/colour | bmcage/odes | idris-lang/Idris2 | numpy/numpy | astropy/astropy





