Highlights
- Pro
Block or Report
Block or report Vilin97
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language
Sort by: Recently starred
We will implement score based transport modeling (SBTM) method and use it for the purpose of sampling.
A Julia package for evaluating distances (metrics) between vectors.
Julia package for kernel functions for machine learning
Code for reimplementing "Stein Variational Gradient Descent (SVGD)" method.
Source code for the Mathematics in Lean tutorial.
Formalizing John H. Conway's 1986 FRACTRAN paper in Lean4
Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.
Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
Estimate the absolute performance of a piece of Julia code
Tutorial on neural theorem proving
Chemical reaction network and systems biology interface for scientific machine learning (SciML). High performance, GPU-parallelized, and O(1) solvers in open source software.
Multi-language suite for high-performance solvers of differential equations and scientific machine learning (SciML) components. Ordinary differential equations (ODEs), stochastic differential equat…
Formatted output of timed sections in Julia
Dimensionality Reduction with Eilenberg-MacLane Coordinates
Repository containing code accompanying the "Catalyst: Fast Biochemical Modeling with Julia" article.