saransh-cpp/agda-stdlib

The Agda standard library

You are probably looking for my website, specifically, the open-source page.

I am an Assistant Research Software Engineer at UCL’s Centre for Advanced Research Computing. I graduated from the University of Delhi with a major in CS and Mathematics in 2024 (with a thesis titled “Computational upgrades to the high energy physics data analysis pipeline for future LHC/HL-LHC runs”). My thesis was carried out at the European Organisation for Nuclear Research (CERN), under the Princeton Research Computing Group and IRIS-HEP.

I am broadly interested in {Research Software Engineering, Scientific Computing, High Performance Computing, DevOps}, {Theory of Computation, Programming Languages, Type Theory}, {Scientific Machine Learning, Computer Vision, and Data Science for Social Good}. I am extremely passionate about Open-Source and Open-Science.

Open-Source work

Better here.

Main repositories

The repositories I am (or I was once) involved with as a maintainer, core developer, core contributor, or was funded to work on.

pybamm-team/PyBaMM | conda-forge/pybamm-feedstock | scikit-hep/vector | conda-forge/vector-feedstock | scikit-hep/awkward | scikit-hep/cuda-histogram | CoffeaTeam/coffea | UCL/rsd-engineeringcourse | 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 | PyBaMM ecosystem | luluxvi/DeepXDE | zarr-developers/zarr-python | scientific-python/cookie

---