ranyishere

awesome-dynamic-graphs

A collection of resources on dynamic/streaming/temporal/evolving graph processing systems, databases, data structures, datasets, and related academic and industrial work

GeometricFlux.jl

Geometric Deep Learning for Flux

bottleneck

Code for the paper: "On the Bottleneck of Graph Neural Networks and Its Practical Implications"

Pluto.jl

🎈 Simple reactive notebooks for Julia

jupytext.vim

Vim plugin for editing Jupyter ipynb files via jupytext

MarkovChains.jl

operon

C++ Large Scale Genetic Programming

Steerable_CNPs

awesome-neural-ode

A collection of resources regarding the interplay between differential equations, deep learning, dynamical systems, control and numerical methods.

e2cnn

E(2)-Equivariant CNNs Library for Pytorch

lean4-alloy

Write C shims from within Lean code.

cellpose

a generalist algorithm for cellular segmentation with human-in-the-loop capabilities

leanblueprint

plasTeX plugin to build formalization blueprints.

LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

lean-to

Jupyter notebook for the Lean4 programming language

ontology

ontology

s4

Structured state space sequence models

SciLean

Scientific computing in Lean 4

KramersMoyal

kramersmoyal: Kramers-Moyal coefficients for stochastic data of any dimension, to any desired order

deep-symbolic-optimization

A deep learning framework for symbolic optimization.

LeanColls

WIP collections library for Lean 4

M40001_lean

Lean 3 material related to Imperial College's "Introduction to University Mathematics" course

lean.nvim

neovim support for the Lean theorem prover

qlora

QLoRA: Efficient Finetuning of Quantized LLMs

AIX360

Interpretability and explainability of data and machine learning models

milvus

A cloud-native vector database, storage for next generation AI applications

Knowledge-Distillation-Zoo

Pytorch implementation of various Knowledge Distillation (KD) methods.

ggml

Tensor library for machine learning

stanford_alpaca

Code and documentation to train Stanford's Alpaca models, and generate the data.