swarnpriya
Post-Doctoral Researcher at Virginia Tech | Ph.D. from Inria, Sophia Antipolis | Interests: PL, Model Checking, Theorem Provers
@sifive @inria
Pinned Repositories
about-Irmin
academic-kickstart
📝 Easily create a beautiful website using Academic, Hugo, and Netlify
bbv
Bedrock Bit Vector Library
bpftool
Automated upstream mirror for bpftool stand-alone build.
Computer-Networking-
coqutil
Coq library for tactics, basic definitions, sets, maps
Dafny
jasmin
Jasmin compiler
Sifive-internship
Z3
Z3 Tutorial
swarnpriya's Repositories
swarnpriya/jasmin
Jasmin compiler
swarnpriya/Sifive-internship
swarnpriya/Z3
Z3 Tutorial
swarnpriya/about-Irmin
swarnpriya/academic-kickstart
📝 Easily create a beautiful website using Academic, Hugo, and Netlify
swarnpriya/bbv
Bedrock Bit Vector Library
swarnpriya/bpftool
Automated upstream mirror for bpftool stand-alone build.
swarnpriya/Computer-Networking-
swarnpriya/coqutil
Coq library for tactics, basic definitions, sets, maps
swarnpriya/Dafny
swarnpriya/Docker
swarnpriya/intensional-receive
swarnpriya/ocaml-crowbar
swarnpriya/ocaml-irmin
Casting OCaml data types into Irmin framework
swarnpriya/eBPF_notes
swarnpriya/homebrew-csdp
A homebrew tap for CSDP (C library for semi-definite programming)
swarnpriya/koka
Koka language compiler and interpreter
swarnpriya/Lean
swarnpriya/libbpf
Automated upstream mirror for libbpf stand-alone build.
swarnpriya/libbpf-bootstrap
Scaffolding for BPF application development with libbpf and BPF CO-RE
swarnpriya/math-comp
Mathematical Components
swarnpriya/ocaml-irmin-with-replica
swarnpriya/OS
swarnpriya/Pigeonhole_Principal_Coq
swarnpriya/ppx-ocaml
swarnpriya/simple_lang_sslh
Speculative constant-time
swarnpriya/swarnpriya.github.io