The procedural generation voxel engine

Safe and rich Rust wrapper around the Vulkan API

Tutorial series for learning Vulkan with Vulkano and Rust

Rust-tokenizer offers high-performance tokenizers for modern language models, including WordPiece, Byte-Pair Encoding (BPE) and Unigram (SentencePiece) models

Highly commented implementations of Transformers in PyTorch

Fast optimal transport code

Numerical differential equation solvers in JAX. Autodifferentiable and GPU-capable. https://docs.kidger.site/diffrax/

Linear solvers in JAX and Equinox. https://docs.kidger.site/lineax

Elegant easy-to-use neural networks + scientific computing in JAX. https://docs.kidger.site/equinox/

Some notes on mathematics I wanted to share to some friends. Most are in french

GitHub action for cached Rust crates installation.

I challenged myself to see if I could create a voxel game (Minecraft-like) in just one week using C++ and OpenGL, and here is the result

A common windowing interoperability library for Rust

Screen 13 is an easy-to-use Vulkan rendering engine in the spirit of QBasic.

Unborrowed Rust Compiler (rustc without a borrowchecker)

A small low-level imperative programming language

The Serenity Operating System 🐞

A toy .wav decoder

toy fourier transform algorithms implementation

The Hylo programming language

Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possible while supporting most usecases

i386 hobby kernel.

Sioyek is a PDF viewer with a focus on textbooks and research papers

An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.

The math library of Lean 4

Helpers for clearing sensitive data on the stack and heap