Snopoff

arxiv-latex-cleaner

arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv

GML2023

Graph Machine Learning course, Xavier Bresson, 2023

devign

Effective Vulnerability Identification by Learning Comprehensive Program Semantics via Graph Neural Networks

Simplicial.jl

A package for various computations with simplicial complexes, combinatorial codes, directed complexes and their filtrations.

ChebyKAN

Kolmogorov-Arnold Networks (KAN) using Chebyshev polynomials instead of B-splines.

SciLean

Scientific computing in Lean 4

formalabstracts

LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

LeanDojo

Tool for data extraction and interacting with Lean programmatically.

NumericalRepresentationTheory.jl

snpy

A lightweight python library for computing the irreducible representations of the symmetric group

deep_learning_vulnerability_detection

A paper list of vulnerability detection using deep learning (updating)

GeometricKernels

Geometric kernels on manifolds, meshes and graphs

TopologyLayer

A Topology Layer for Machine Learning : Persistent Homology + Features for PyTorch

Deep-Dive-Into-AI-With-MLX-PyTorch

"Deep Dive into AI with MLX and PyTorch" is an educational initiative designed to help anyone interested in AI, specifically in machine learning and deep learning, using Apple's MLX and Meta's PyTorch frameworks.

mlx-graphs

Graph Neural Network library made for Apple Silicon

alpha-zero-general

A clean implementation based on AlphaZero for any game in any framework + tutorial + Othello/Gobang/TicTacToe/Connect4 and more

maybe

The OS for your personal finances

geometric-gnn-dojo

Geometric GNN Dojo provides unified implementations and experiments to explore the design space of Geometric Graph Neural Networks.

stable-baselines3

PyTorch version of Stable Baselines, reliable implementations of reinforcement learning algorithms.

annotated_deep_learning_paper_implementations

🧑‍🏫 60 Implementations/tutorials of deep learning papers with side-by-side notes 📝; including transformers (original, xl, switch, feedback, vit, ...), optimizers (adam, adabelief, sophia, ...), gans(cyclegan, stylegan2, ...), 🎮 reinforcement learning (ppo, dqn), capsnet, distillation, ... 🧠

path_homology

Python script for computing path homology of digraphs

candle

Minimalist ML framework for Rust

awesome-graph-pde

Collection of resources about partial differential equations, graph neural networks, deep learning and dynamical system simulation

graph-pde

Using graph network to solve PDEs

Learning-Scientific_Machine_Learning_Residual_Based_Attention_PINNs_DeepONets

Physics Informed Machine Learning Tutorials (Pytorch and Jax)

PINNs

Physics Informed Deep Learning: Data-driven Solutions and Discovery of Nonlinear Partial Differential Equations

conditional-flow-matching

TorchCFM: a Conditional Flow Matching library

e3nn

A modular framework for neural networks with Euclidean symmetry

escnn

Equivariant Steerable CNNs Library for Pytorch https://quva-lab.github.io/escnn/