Ngoguey42's Stars
benhall-7/diff-struct
Rust trait for diffing and applying diffs between data structures
PyO3/pyo3
Rust bindings for the Python interpreter
PyO3/maturin
Build and publish crates with pyo3, cffi and uniffi bindings as well as rust binaries as python packages
ovh/pulumi-ovh
Pulumi provider for OVHcloud
GitoxideLabs/gitoxide
An idiomatic, lean, fast & safe pure Rust implementation of Git
ytdl-org/youtube-dl
Command-line program to download videos from YouTube.com and other video sites
nanocaml/nanocaml
Nanopass for OCaml
cmyr/cargo-instruments
A cargo plugin to generate Xcode Instruments trace files
ast-grep/ast-grep
⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
Patryk27/clippy-dirty
`cargo clippy`, but only for the files / lines you've just modified
facebookresearch/ImageBind
ImageBind One Embedding Space to Bind Them All
hacl-star/hacl-star
HACL*, a formally verified cryptographic library written in F*
soulaklabs/bitoduc.fr
A website about french words for computer concepts.
sc0ty/subsync
Subtitle Speech Synchronizer
art-w/sherlocode
Realtime grep for OCaml/Coq sources available on opam
42School/norminette
Official 42 norminette
Lucccyo/philosophers
Multi-threaded conversation around a spaghetti bowl.
Lucccyo/Life
Projects related to the game of life.
Wilfred/difftastic
a structural diff that understands syntax 🟥🟩
mirage/irmin-py
janestreet/magic-trace
magic-trace collects and displays high-resolution traces of what a process is doing
Julow/Unexpected-Keyboard
A lightweight virtual keyboard for developers.
dinosaure/blaze
alteia-ai/ICSS
Interactive Continual Semantic Segmentation
craigfe/compact
Memory-efficient data structures in OCaml
Julow/nixos-deploy
A small script to build and deploy a NixOS system
jmid/mutaml
An OCaml mutation tester
craigfe/field_repr
backtracking/ocamlgraph
OCaml graph library
formal-land/coq-of-ocaml
Formal verification for OCaml