-
-
mathematics_in_lean Public
Forked from leanprover-community/mathematics_in_leanThe user home repository for the Mathematics in Lean tutorial.
HTML Apache License 2.0 UpdatedSep 9, 2025 -
-
qutip-qtrl Public
Forked from qutip/qutip-qtrlThe QuTiP quantum optimal control package
Python BSD 3-Clause "New" or "Revised" License UpdatedJan 10, 2025 -
modeldb-zang2021 Public
Forked from ModelDBRepository/266864Multiplexed coding in Purkinje neuron dendrites (Zang and De Schutter 2021)
NMODL UpdatedDec 2, 2024 -
-
-
idris2-algebra Public
Forked from stefan-hoeck/idris2-algebraLawful algebraic structures in Idris2
Idris BSD 3-Clause "New" or "Revised" License UpdatedJun 21, 2024 -
-
-
-
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedJun 15, 2023 -
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
{{ message }}