Animation engine for explanatory math videos

A community-maintained Python framework for creating mathematical animations.

C++ wrappers for SIMD intrinsics and parallelized, optimized mathematical functions (SSE, AVX, AVX512, NEON, SVE))

Official github repository for Fast Artificial Neural Network Library (FANN)

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

Master programming by recreating your favorite technologies from scratch.

A Fabric Minecraft mod that adds some features like new trees, biomes and structures.

Agda is a dependently typed programming language / interactive theorem prover.

A post-modern modal text editor.

A simple and easy-to-use library to enjoy videogames programming

Effortless Python bindings for OCaml modules