SciPy India
@scipyindia.bsky.social
SciPy India is a community and annual conference centred around the Python programming language for education and scientific computing
Learn more at lean-lang.org and checkout his work at thesagniksaha.com
Lean Programming Language
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
lean-lang.org
September 21, 2025 at 6:41 AM
Learn more at lean-lang.org and checkout his work at thesagniksaha.com
Checkout their work at core-stack.org
CoRE Stack
CoRE Stack
core-stack.org
September 21, 2025 at 6:25 AM
Checkout their work at core-stack.org
Checkout his work at github.com/arjxn-py and github.com/geojupyter/j... , github.com/jupytercad/J...
arjxn-py - Overview
Living life @ 1.5x. arjxn-py has 88 repositories available. Follow their code on GitHub.
github.com
September 21, 2025 at 5:37 AM
Checkout his work at github.com/arjxn-py and github.com/geojupyter/j... , github.com/jupytercad/J...
Checkout their work at stateofindiasbirds.in
stateofindiasbirds.in
September 21, 2025 at 5:31 AM
Checkout their work at stateofindiasbirds.in