Accédez à l'ensemble des textes consolidés de la législation française, en local, avec recherche textuelle, sémantique et hybrides avancées

A fast, ergonomic and portable tensor library in Nim with a deep learning focus for CPU, GPU and embedded devices via OpenMP, Cuda and OpenCL backends

Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.

LLM quantization scripts

Experiments in accelerating finite fields on ARM64

Exploration of Project Euler in Lean 4 language

A state-of-the-art multithreading runtime: message-passing based, fast, scalable, ultra-low overhead

A latency and fairness optimized threadpool. Tuned for async IO and decent for compute tasks.

The HPC toolbox: fused matrix multiplication, convolution, data-parallel strided tensor primitives, OpenMP facilities, SIMD, JIT Assembler, CPU detection, state-of-the-art vectorized BLAS for float…

A repo of my talks

A Nim wrapper for CLBlast, a tuned OpenCL BLAS library

Loop efficiently over a variadic number of containers

Batch reencode videos to AV1 using ffmpeg

Give integers super-powers!

An educational raytracer

A low-overhead JIT assembler for Nim

Experimental finite field primitives (and maybe more)