jonleivent

Pinned Repositories

bubblewrap
Low-level unprivileged sandboxing tool used by Flatpak and similar projects
Language:C4k 54 327239
ceps
Coq Enhancement Proposals
0 1 00
deptacs
Dependent decide equality and other dependent tactics for Coq
Language:Coq2 1 01
mindless-coding
Mindless, verified (erasably) coding using dependent types
Language:Coq104 8 04
mindless-coding-phase2
Mindless, verified (erasably) coding using dependent types, phase 2
Language:Coq20 1 01
sfwbar
fork of S* Floating Window Bar
Language:C0 0 00
tin_ref
tokenized interior mutability references for Rust
Language:Rust10
wayland-proxy-clipname
Wayland proxy middleware providing multiple named clipboards for sandboxes
Language:OCaml00
wayland-tracer
A wire protocol dumper for Wayland
Language:C0 0 00

jonleivent's Repositories

jonleivent/mindless-coding
Mindless, verified (erasably) coding using dependent types
Language:Coq104 8 04
jonleivent/mindless-coding-phase2
Mindless, verified (erasably) coding using dependent types, phase 2
Language:Coq20 1 01
jonleivent/deptacs
Dependent decide equality and other dependent tactics for Coq
Language:Coq2 1 01
jonleivent/tin_ref
tokenized interior mutability references for Rust
Language:Rust10
jonleivent/ceps
Coq Enhancement Proposals
0 1 00
jonleivent/sfwbar
fork of S* Floating Window Bar
Language:C0 0 00
jonleivent/wayland-proxy-clipname
Wayland proxy middleware providing multiple named clipboards for sandboxes
Language:OCaml00
jonleivent/wayland-tracer
A wire protocol dumper for Wayland
Language:C0 0 00