Highlights
- Pro
Block or Report
Block or report Vilin97
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
-
SVGD-reimplementation Public
Forked from birajpandey/SVGD-reimplementationCode for reimplementing "Stein Variational Gradient Descent (SVGD)" method.
Python UpdatedJun 6, 2024 -
-
leanprover-community.github.io Public
Forked from leanprover-community/leanprover-community.github.ioHosts the website for mathlib and other Lean community infrastructure.
CSS MIT License UpdatedMay 30, 2024 -
-
mathematics_in_lean Public
Forked from leanprover-community/mathematics_in_leanThe user home repository for the Mathematics in Lean tutorial.
HTML UpdatedApr 25, 2024 -
-
Distributions.jl Public
Forked from JuliaStats/Distributions.jlA Julia package for probability distributions and associated functions.
Julia Other UpdatedOct 3, 2023 -
SciMLBenchmarks.jl Public
Forked from SciML/SciMLBenchmarks.jlBenchmarks for scientific machine learning (SciML) software and differential equation solvers
MATLAB MIT License UpdatedSep 25, 2023 -
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 UpdatedAug 30, 2023 -
-
-
formalising-mathematics-2022 Public
Forked from ImperialCollegeLondon/formalising-mathematics-2022Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.
Lean UpdatedMay 18, 2023 -
julia Public
Forked from JuliaLang/juliaThe Julia Programming Language
Julia MIT License UpdatedMay 15, 2023 -
GPUArrays.jl Public
Forked from JuliaGPU/GPUArrays.jlReusable array functionality for Julia's various GPU backends.
Julia MIT License UpdatedMay 15, 2023 -
-
complex-number-game Public
Forked from ImperialCollegeLondon/complex-number-gameThe Complex Number Game. Make the complex numbers in Lean.
Lean Apache License 2.0 UpdatedApr 13, 2023 -
amath574w2023 Public
Forked from rjleveque/amath574w2023UW Course Applied Math 574, Winter Quarter 2023
HTML UpdatedFeb 27, 2023 -
-
-
-
Repository containing code accompanying the "Catalyst: Fast Biochemical Modeling with Julia" article.
-
JumpProcesses.jl Public
Forked from SciML/JumpProcesses.jlBuild and simulate jump equations like Gillespie simulations and jump diffusions with constant and state-dependent rates and mix with differential equations and scientific machine learning (SciML)
-
-
-
-
-
-
mathlib Public
Forked from leanprover-community/mathlibLean mathematical components library
Lean Apache License 2.0 UpdatedMar 27, 2022 -
LowRankTex Public
The LaTeX for the LowRank module at https://github.com/Vilin97/LowRank.jl
TeX UpdatedJan 14, 2022