Codebase for fine-tuning / evaluating nougat-based image2latex generation models

fc is a research-grade, lossless floating point compressor.

export JAX to ONNX

Isomorphism testing and automorphisms of graphs

PtrHash minimal perfect hash function

🎡 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 (WIP): GPU powered Emacs written in Rust with a modern display engine. Aiming for modern design & multi-threaded Elisp, 10x performance, zero-pause GC and 100% Emacs compatibility.

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