Popular repositories Loading

1. mindless-coding mindless-coding Public

   Mindless, verified (erasably) coding using dependent types

   Coq 104 4

2. mindless-coding-phase2 mindless-coding-phase2 Public

   Mindless, verified (erasably) coding using dependent types, phase 2

   Coq 20 1

3. deptacs deptacs Public

   Dependent decide equality and other dependent tactics for Coq

   Coq 2 1

4. tin_ref tin_ref Public

   tokenized interior mutability references for Rust

   Rust 1

5. ceps ceps Public

   Forked from coq/ceps

   Coq Enhancement Proposals

6. wayland-proxy-clipname wayland-proxy-clipname Public

   Forked from talex5/wayland-proxy-virtwl

   Wayland proxy middleware providing multiple named clipboards for sandboxes

   OCaml