Common Expression Language interpreter written in Rust

The first ever roguelike written in the OCaml type system

Auto-generated form to construct protobuf message object, in React

libgit2 bindings for Rust

Automatically find and download the right subtitles for your favorite videos!

A feature-rich command-line audio/video downloader

Rust trait for diffing and applying diffs between data structures

Rust bindings for the Python interpreter

Build and publish crates with pyo3, cffi and uniffi bindings as well as rust binaries as python packages

Pulumi provider for OVHcloud

An idiomatic, lean, fast & safe pure Rust implementation of Git

Command-line program to download videos from YouTube.com and other video sites

Nanopass for OCaml

A cargo plugin to generate Xcode Instruments trace files

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

`cargo clippy`, but only for the files / lines you've just modified

ImageBind One Embedding Space to Bind Them All

HACL*, a formally verified cryptographic library written in F*

A website about french words for computer concepts.

Subtitle Speech Synchronizer

Realtime grep for OCaml/Coq sources available on opam

Official 42 norminette

Multi-threaded conversation around a spaghetti bowl.

Projects related to the game of life.

a structural diff that understands syntax 🟥🟩

magic-trace collects and displays high-resolution traces of what a process is doing

A lightweight keyboard for Android

Interactive Continual Semantic Segmentation