-
RPTU Kaiserslautern-Landau
- Kaiserslautern, Germany
- martinbies.github.io
Highlights
- Pro
-
Oscar.jl Public
Forked from oscar-system/Oscar.jlA comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.
Julia Other UpdatedApr 15, 2026 -
OSCARBinder Public
Forked from oscar-system/OSCARBinderBinder repo for OSCAR
Jupyter Notebook UpdatedApr 15, 2026 -
-
oscar-website Public
Forked from oscar-system/oscar-websiteDev repo for the oscar website
JavaScript UpdatedApr 7, 2026 -
-
TutorialTesterforOscar Public
Forked from oscar-system/TutorialTesterforOscarPython UpdatedNov 26, 2025 -
book.oscar-system.org Public
Forked from oscar-system/book.oscar-system.orgSCSS UpdatedFeb 21, 2025 -
Lean-Oscar Public
Forked from todbeibrot/Lean-OscarAn interface between Lean4 and Oscar.
-
AbstractAlgebra.jl Public
Forked from Nemocas/AbstractAlgebra.jlGeneric abstract algebra functionality in pure Julia (no C dependencies)
Julia Other UpdatedSep 30, 2024 -
Polymake.jl Public
Forked from oscar-system/Polymake.jlInterface to Polymake using CxxWrap
Julia Other UpdatedSep 23, 2024 -
GAP.jl Public
Forked from oscar-system/GAP.jlGAP packages for Julia integration
GAP GNU Lesser General Public License v3.0 UpdatedSep 20, 2024 -
Hecke.jl Public
Forked from thofma/Hecke.jlComputational algebraic number theory
Julia BSD 2-Clause "Simplified" License UpdatedSep 20, 2024 -
Nemo.jl Public
Forked from Nemocas/Nemo.jlJulia bindings for various mathematical libraries (including flint2)
Julia Other UpdatedSep 20, 2024 -
Singular.jl Public
Forked from oscar-system/Singular.jlJulia package for the Singular library
Julia Other UpdatedSep 18, 2024 -
icms-conference.github.io Public
Forked from ICMS-conference/icms-conference.github.ioThe web presence of the ICMS conference series
HTML UpdatedAug 5, 2024 -
-
FTheoryTools.jl Public
Forked from Julia-meets-String-Theory/FTheoryTools.jlTools for F-theory model building
Julia MIT License UpdatedMar 29, 2023 -
CYAxiverse.jl Public
Forked from Julia-meets-String-Theory/CYAxiverse.jlJulia MIT License UpdatedFeb 24, 2023 -
ToricVarieties_project Public
Forked from homalg-project/ToricVarieties_projectCompute sheaf cohomology of coherent sheaves on toric varieties
GAP UpdatedJan 2, 2023 -
CYTools.jl Public
Forked from Julia-meets-String-Theory/CYTools.jltools for Calabi-Yau hypersurfaces in normal toric varieties associated to triangulations of reflexive polytopes
Julia MIT License UpdatedOct 21, 2022 -
homalg_project Public
Forked from homalg-project/homalg_projectDeposited packages of the homalg project
GAP UpdatedOct 18, 2022 -
-
-
cytools Public
Forked from LiamMcAllisterGroup/cytoolsA software package for analyzing Calabi-Yau manifolds in toric varieties.
Python GNU General Public License v3.0 UpdatedJun 14, 2022 -
-
CAP_project Public
Forked from homalg-project/CAP_projectRepository for all packages of the CAP project
-
-
NConvex Public
Forked from homalg-project/NConvexGap package for polyhedral computations
GAP GNU General Public License v2.0 UpdatedApr 24, 2021 -
CapAndHomalg.jl Public
Forked from homalg-project/CapAndHomalg.jlThe CAP and homalg projects compatibility package for Julia
Julia GNU Lesser General Public License v3.0 UpdatedMar 13, 2021 -
line-bundle-cohomology Public
Forked from garetxe/line-bundle-cohomologyComputation of line bundle cohomology for toric varieties using the Čech complex