Data

Tools

Indexes

Applications

Experiments

Open Source Science

Updated 10 months ago

https://github.com/aravind-1512/react • Science 26%

React examples to practice

Updated 10 months ago

https://github.com/aravind-1512/angularjs • Science 26%

Simple Angluarjs examples

Updated 10 months ago

https://github.com/bjoernellens1/pypsa-eur • Science 23%

PyPSA-Eur: A Sector-Coupled Open Optimisation Model of the European Energy System

Updated 10 months ago

https://github.com/bjoernkjoshanssen/hypothesis • Science 26%

Probability and statistics in Lean

Updated 10 months ago

https://github.com/bjoernkjoshanssen/wollic25 • Science 26%

A Lean 4 proof that there exists a subdirectly irreducible lattice (N₅) that is not simple.

Updated 10 months ago

https://github.com/bjoernkjoshanssen/secondpartial • Science 26%

Second partial derivative test in Lean 4

Updated 10 months ago

https://github.com/bjoernkjoshanssen/carmojones • Science 13%

Lean code relevant to Carmo Jones 2022 modal logic article.

Updated 10 months ago

https://github.com/bjoernkjoshanssen/jaccard • Science 13%

Lean 4 version of my Jaccard repository

Updated 10 months ago

https://github.com/bjoernkjoshanssen/jxm • Science 13%

Protein folding by recursive backtracking: Lean 4 project

Updated 10 months ago

https://github.com/bjoernkjoshanssen/biocalculus • Science 13%

Lean4 formalized facts related to "Biocalculus" by Stewart and Day.

Updated 10 months ago

https://github.com/bjoernkjoshanssen/cstheory • Science 13%

Formalization results relevant to CS Theory Stack Exchange Q&A

Updated 10 months ago

https://github.com/bjoernludwigptb/pydynamic • Science 13%

This fork is actually a proof-of-concept for Push-Mirroring of the PyDynamic repo in the internal GitLab instance

Updated 10 months ago

https://github.com/bjoernludwigptb/pooch • Science 13%

A friend to fetch your data files