PRIMA is a package for solving general nonlinear optimization problems without using derivatives. It provides the reference implementation for Powell's derivative-free optimization methods, i.e., C…

A Web Audio framework for making interactive music in the browser.

Primalib - Math made magical with lazy sets

An experimental proof assistant based on a type theory for synthetic ∞-categories.

Ground Zero: Lean 4 HoTT Library

Simple framework for symbolic manipulation

Valdi is a cross-platform UI framework that delivers native performance without sacrificing developer velocity.

An educational path tracer written in C using Vulkan to supplement a lecture series on path tracing.

Instant Skinned Gaussian Avatars for Web, Mobile and VR Applications

A modular and open-ended toolkit for WebGPU, with advanced type inference and the ability to write shaders in TypeScript

Type annotations and runtime checking for shape and dtype of JAX/NumPy/PyTorch/etc. arrays. https://docs.kidger.site/jaxtyping/

Research language for array processing in the Haskell/ML family

A modern supercompiler for call-by-value functional languages

Toolkit for linearizing PDFs for LLM datasets/training

Quaternionic-Harmonic Wave Dynamics with Optical Fractal Processing

Implement a ChatGPT-like LLM in PyTorch from scratch, step by step

Baby Dragon Hatchling (BDH) – Architecture and Code

API observability from the future.

The best ChatGPT that $100 can buy.

Paper list about hyperbolic embedding, hyperbolic models,hyperbolic applications

Minimal. Human-readable. Machine-parsable.

placeholder: local search

Safe Rust bindings for OpenZL - a graph-based typed compression library

A novel data compression framework

a fast block device synchronizing tool

Convert PDF to markdown + JSON quickly with high accuracy

OCR, layout analysis, reading order, table recognition in 90+ languages

Get your documents ready for gen AI