mathematics, scientific computing, compilers, etc.
Pinned Loading
-
ginkgo-project/ginkgo
ginkgo-project/ginkgo PublicNumerical linear algebra software package
-
JuliaHEP/JetReconstruction.jl
JuliaHEP/JetReconstruction.jl PublicJet reconstruction (reclustering) with Julia
-
dynamic-rule-cellular-automata
dynamic-rule-cellular-automata PublicIntroducing Dynamic Rule Cellular Automata that have second-order rules.
-
k-sat-grover-schoening
k-sat-grover-schoening PublicThis notebook can be used as a tutorial for combining Schöning's and Grover's methods to solve k-SAT problems.
Jupyter Notebook 2
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.



