🎡 Build Python wheels for all the platforms with minimal configuration.

Fast, stack-allocated linear algebra for fixed dimensions

Pure Rust complex Bessel functions (ACM TOMS 644)

Publish Rust crates from CI with a Release PR.

SQLite bindings for Lean

Posterior summarization using gaussian mixture models

Riemannian Adaptive Optimization Methods with pytorch optim

Semantic Syntax Highlighting for Common Lisp & Elisp in Emacs, based on the informations of the global Lisp environment

A native Python library for permutation pattern research

a Python library for working with gridded permutation and tilings

a Python library for combinatorial exploration

A script to help you generate performance metrics from Cachegrind

A Lean companion to Analysis I

Containerized Lean 4 development environments

NEO Emacs: A GPU-powered Emacs written in Rust with a modern display engine. Aiming for modern design/multi-threaded Elisp, 10x performance and 100% Emacs compatibility. 🚀 Inline 4K images/4K video…

Drawing Bayesian networks, graphical models, tensors, technical frameworks, and illustrations in LaTeX.

ODE solver library in Rust

pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server

a high-performance parallel SimulatOr for universal Fault-Tolerant quantum circuits

Formalization of Markov Chain Monte Carlo in Lean 4

Lean 4 library characterizing the algebraic structure of metastability and consolidation in stochastic systems

Lennard Jones in Lean

An unofficial userspace driver for HID++ Logitech devices

the complementary task runner for python

lean4 unit testing framework