-
-
-
-
Catalyst.jl Public
Forked from SciML/Catalyst.jlChemical reaction network and systems biology interface for scientific machine learning (SciML). High performance, GPU-parallelized, and O(1) solvers in open source software.
Julia Other UpdatedSep 25, 2024 -
intro-to-github Public
Forked from hyperskill/intro-to-githubThis is a demo repository to practice using GitHub.
UpdatedSep 18, 2024 -
ParametricGroebnerBases.jl Public
Forked from 0708andreas/ParametricGroebnerBases.jlJulia Other UpdatedJul 12, 2024 -
Phylo.jl Public
Forked from EcoJulia/Phylo.jlSimple phylogenetic trees in Julia to work with Diversity.jl - https://github.com/EcoJulia/Diversity.jl
Julia BSD 2-Clause "Simplified" License UpdatedNov 25, 2023 -
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 UpdatedNov 12, 2023 -
-
DDEBifurcationKit.jl Public
Forked from bifurcationkit/DDEBifurcationKit.jlnumerical bifurcation analysis for DDE
Julia MIT License UpdatedJan 18, 2023 -
MLJ.jl Public
Forked from JuliaAI/MLJ.jlA Julia machine learning framework
Julia Other UpdatedDec 1, 2022 -
Ripserer.jl Public
Forked from mtsch/Ripserer.jlFlexible and efficient persistent homology computation.
Julia MIT License UpdatedOct 2, 2022 -
Eirene.jl Public
Forked from henselman-petrusek/Eirene.jlJulia library for homological persistence
Julia Other UpdatedJul 12, 2022 -
stacks-project Public
Forked from stacks/stacks-projectRepository for the Stacks Project
TeX Other UpdatedMay 11, 2022 -
jupyterlab Public
Forked from jupyterlab/jupyterlabJupyterLab computational environment.
TypeScript Other UpdatedMar 3, 2022 -
andromeda Public
Forked from Andromedans/andromedaA proof assistant for general type theories
OCaml Other UpdatedFeb 8, 2022 -
DynamicalSystems.jl Public
Forked from JuliaDynamics/DynamicalSystems.jlAward winning software library for nonlinear dynamics
Julia Other UpdatedFeb 6, 2022 -
UniMath Public
Forked from UniMath/UniMathThis coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Coq Other UpdatedFeb 6, 2022 -
-
-
julia Public
Forked from JuliaLang/juliaThe Julia Programming Language
Julia MIT License UpdatedSep 16, 2021 -
sage Public
Forked from sagemath/sage-archive-2023-02-01Mirror of the Sage source tree -- please do not submit PRs here -- everything must be submitted via https://trac.sagemath.org/
Python Other UpdatedAug 31, 2021 -
A textbook on informal homotopy type theory
TeX UpdatedAug 3, 2021 -
mercury Public
Forked from Mercury-Language/mercuryThe Mercury logic programming system.
Mercury Other UpdatedJul 13, 2021 -
OpenLogic Public
Forked from OpenLogicProject/OpenLogicAn open-source, customizable intermediate logic textbook
TeX Creative Commons Attribution 4.0 International UpdatedJan 14, 2021 -
TDA.jl Public
Forked from wildart/TDA.jlA Julia package for topological data analysis
Julia MIT License UpdatedJan 8, 2021 -
ega Public
Forked from ryankeleti/egaamateur translation project of Grothendieck's EGA.
TeX UpdatedDec 30, 2020 -
-
elegant Public
Forked from Pelican-Elegant/elegantA responsive, minimal, and stylish theme for Pelican
JavaScript MIT License UpdatedSep 30, 2020 -
{{ message }}