Auto formalization of the CLRS text book

GitHub Copilot CLI brings the power of Copilot coding agent directly to your terminal.

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

Pokémon battle simulator.

CS6868: Concurrent Programming

a general 2048 AI for many 2048 clones at once. created as a bookmarklet

An AI agent for teams, communities, and multi-user environments.

The open-source voice synthesis studio

Adds nostalgic Pokémon sprites to your VS Code/Cursor window

VS Code extension for the Lean 4 programming language and theorem prover

Mathlib search tool

A verification toolchain for Rust programs

Fully local, private and cross platform Speech-to-Text with LLM Post-processing

StarCraft II Client - protocol definitions used to communicate with StarCraft II.

A unified interface for AI in your terminal.

Exercices interactifs de déduction naturelle avec arbre de preuve

Contours des régions, départements, arrondissements, cantons et communes de France (métropole et départements d'outre-mer) au format GeoJSON

Contours des régions, départements, arrondissements, cantons et communes de France (métropole et départements d'outre-mer) au format GeoJSON

LIbrairie C++ de calculs Eurocode 1 (Neige et Vent)

A GUI front-end for youtube-dl, partly based on youtube-dl-gui and written in Python 3 / Gtk 3

tired of typing afl-fuzz? try bun!

A lightweight and colourful test framework

University Caml Project -> coding a 'Mini Ocaml' named Mini-ML

The open source coding agent.

Broadcast, Presence, and Postgres Changes via WebSockets

Text-first toolkit for building reproducible, composable LLM workflows as plain files in OCaml.

A fancy diagnostics library that allows your compilers to exit with grace