Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean 4.

Everything you need to know to build your own RAG application

Ping-Pong-like game in Assembly that works without OS

Simple 2D Graphics Library for C

Intentionally Simple Raylib OCaml Template

This repository contains the source html files for the website complex-analysis.com

codes R variés

The user home repository for the Mathematics in Lean tutorial.

Source code for the Mathematics in Lean tutorial.

Official PyTorch implementation for "Large Language Diffusion Models"

A Python Library for Outlier and Anomaly Detection, Integrating Classical and Deep Learning Techniques

handwritten digit recognition system using a custom neural network architecture. Built with C, it features both training capabilities and an interactive recognition interface. >98% accuracy on the …

LLMs as Copilots for Theorem Proving in Lean

In the last few years, I have developed a lot of Jupyter notebooks to draw fractals. In this repository, I will gradually share them. Creative Commons Attribution-ShareAlike 4.0 International License.

Various math art notebooks

Artificial Life simulations

Scraper for PhET Science & Math Interactive Simulations

Various ZIM command line tools

A port of PFP from Haskell to OCaml

Payload is the open-source, fullstack Next.js framework, giving you instant backend superpowers. Get a full TypeScript backend and admin panel instantly. Use Payload as a headless CMS or for buildi…

🌒 A TUI for GitHub

A free, self-hostable news aggregator…

The fastest, friendliest, and most delightful way to get started with OCaml, ReasonML, and Melange, geared towards JavaScript and TypeScript developers

An actor-model multi-core scheduler for OCaml 5 🐫

A fun little TUI framework for OCaml

Image and video cropper Svelte component with gesture and mouse support

YOCaml is a static site generator, mostly written in OCaml