Skip to content
View Vilin97's full-sized avatar

Highlights

  • Pro
Block or Report

Block or report Vilin97

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

We will implement score based transport modeling (SBTM) method and use it for the purpose of sampling.

Python 1 Updated Aug 2, 2024

LLM101n: Let's build a Storyteller

26,889 1,457 Updated Aug 1, 2024

A Julia package for evaluating distances (metrics) between vectors.

Julia 423 96 Updated Dec 29, 2023

Julia package for kernel functions for machine learning

Julia 266 32 Updated Jul 28, 2024
Jupyter Notebook 2 Updated May 30, 2024

Code for reimplementing "Stein Variational Gradient Descent (SVGD)" method.

Python 1 1 Updated Jun 6, 2024
Lean 1 Updated May 22, 2024
Lean 1 1 Updated May 23, 2024

Source code for the Mathematics in Lean tutorial.

Lean 65 67 Updated Aug 12, 2024

Formalizing John H. Conway's 1986 FRACTRAN paper in Lean4

Lean 6 Updated May 22, 2024

Repository for score-based transport modeling.

Python 8 2 Updated Jul 22, 2023
Lean 2 1 Updated Feb 8, 2024
HTML 3 Updated Jul 6, 2024

Straightforward pseudocode.

TeX 13 2 Updated Feb 5, 2024

Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.

TypeScript 10,482 520 Updated Aug 13, 2024

Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.

Lean 100 25 Updated Aug 7, 2024

Estimate the absolute performance of a piece of Julia code

Julia 98 9 Updated Jan 2, 2024

Julia installer and version multiplexer

Rust 957 83 Updated Aug 13, 2024

The slow descent into madness

Julia 634 41 Updated Aug 8, 2024

Tutorial on neural theorem proving

Jupyter Notebook 147 14 Updated Jan 5, 2024

Chemical reaction network and systems biology interface for scientific machine learning (SciML). High performance, GPU-parallelized, and O(1) solvers in open source software.

Julia 451 72 Updated Aug 13, 2024

Multi-language suite for high-performance solvers of differential equations and scientific machine learning (SciML) components. Ordinary differential equations (ODEs), stochastic differential equat…

Julia 2,819 222 Updated May 6, 2024
Python 2 Updated Jun 11, 2022

21st century AD

Julia 1,467 209 Updated May 9, 2024

Formatted output of timed sections in Julia

Julia 648 53 Updated May 17, 2024

Dimensionality Reduction with Eilenberg-MacLane Coordinates

Python 36 12 Updated May 9, 2024

Repository containing code accompanying the "Catalyst: Fast Biochemical Modeling with Julia" article.

Jupyter Notebook 1 Updated Sep 18, 2022

VasBlog

JavaScript 1 Updated Sep 18, 2022
Python 1 Updated Sep 21, 2020
Next