Lists (2)
Stars
Vision, 3D and robot's embodiment aware navigation transformer
Official repository for the ENSTA - AMIAD offroad navigation stack
Test-driven Python playground for ML-KEM and ML-DSA with KAT conformance, deterministic demos, and CI validation.
Lightweight coding agent that runs in your terminal
Slides, exercises, and exams for my course "Natural Language Processing" (École Pour l'Informatique et les Techniques Avancées, 2024 and 2025)
A simple interface for sending / receiving encrypted messages using the ElGamal cryptosystem.
42sh is a replica of a POSIX Shell in C. It is able to parse and execute the basics of what a POSIX Shell can.
Scalar is an open-source API platform: 🌐 Modern REST API Client 📖 Beautiful API References …
Disassembler (binary to 8086 ASM) for iAPX-86 (8086 16-BIT HMOS Microprocessor) created by Intel in 1978 (first ever x86 microprocessor).
A set of beautifully-designed, accessible components and a code distribution platform. Works with your favorite frameworks. Open Source. Open Code.
🖥️ macOS status monitoring app written in SwiftUI.
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
The web framework for content-driven websites. ⭐️ Star to support our work!
A CLI tool that automatically writes commit messages for you.
The best way to start a full-stack, typesafe Next.js app
OBS Studio - Free and open source software for live streaming and screen recording
🙃 A delightful community-driven (with 2,500+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…
11ty starter: uses md and notion as data sources
xavierleroy / ocaml
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
xavierleroy / graphics
Forked from ocaml/graphicsThe Graphics library from OCaml, in a standalone repository
The all-in-one tool to supercharge your productivity ⌨️