Lists (1)
Stars
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
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
Build and publish crates with pyo3, cffi and uniffi bindings as well as rust binaries as python packages
An idiomatic, lean, fast & safe pure Rust implementation of Git
Command-line program to download videos from YouTube.com and other video sites
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.
Realtime grep for OCaml/Coq sources available on opam
Multi-threaded conversation around a spaghetti bowl.
a structural diff that understands syntax 🟥🟩
magic-trace collects and displays high-resolution traces of what a process is doing