https://github.com/bjoernellens1/pypsa-projekt-energietechnik
Projekt Energietechnik
https://github.com/bjoernellens1/pypsa-eur
PyPSA-Eur: A Sector-Coupled Open Optimisation Model of the European Energy System
https://github.com/bjoernkjoshanssen/hypothesis
Probability and statistics in Lean
https://github.com/bjoernkjoshanssen/wollic25
A Lean 4 proof that there exists a subdirectly irreducible lattice (N₅) that is not simple.
https://github.com/bjoernkjoshanssen/secondpartial
Second partial derivative test in Lean 4
https://github.com/bjoernkjoshanssen/carmojones
Lean code relevant to Carmo Jones 2022 modal logic article.
https://github.com/bjoernkjoshanssen/jaccard
Lean 4 version of my Jaccard repository
https://github.com/bjoernkjoshanssen/jxm
Protein folding by recursive backtracking: Lean 4 project
https://github.com/bjoernkjoshanssen/biocalculus
Lean4 formalized facts related to "Biocalculus" by Stewart and Day.
https://github.com/bjoernkjoshanssen/cstheory
Formalization results relevant to CS Theory Stack Exchange Q&A
https://github.com/bjoernludwigptb/pydynamic
This fork is actually a proof-of-concept for Push-Mirroring of the PyDynamic repo in the internal GitLab instance
https://github.com/bkader/mini-server-codeigniter
Ready-to-use portable mini server with apache2, php5.4.x and smtp only
https://github.com/bkader/cibase
CodeIgniter 3.1.6 structure inspired from Fuelphp with some extra packages included
https://github.com/bkader/mini-server-fuelphp
Ready-to-use portable mini server with apache2, php5.4.x, smtp and Fuelphp v1.8
https://github.com/bkader/ci-gettext
(DEPRECATED) For a better CodeIgniter with gettext, use my hook →