Pinned Repositories
agda-book
Exercises from https://plfa.github.io/
autopoiesis-system
ECE 750 Winter 2020 Artificial Life project
clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation
crab
CoRnucopia of ABstractions: a library for building abstract interpretation-based analyses
cs642-w22
llvm-seahorn
LLVM components that are modified for SeaHorn
mbedtls-ownsem
Verification of mbedTLS using ownership semantics
plfa.github.io
An introduction to programming language theory in Agda
seaurchin
Seahorn for Rust
priyasiddharth's Repositories
priyasiddharth/seaurchin
Seahorn for Rust
priyasiddharth/agda-book
Exercises from https://plfa.github.io/
priyasiddharth/autopoiesis-system
ECE 750 Winter 2020 Artificial Life project
priyasiddharth/mbedtls-ownsem
Verification of mbedTLS using ownership semantics
priyasiddharth/verify-mbedtls
verification of mbedtls
priyasiddharth/clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation
priyasiddharth/crab
CoRnucopia of ABstractions: a library for building abstract interpretation-based analyses
priyasiddharth/cs642-w22
priyasiddharth/llvm-seahorn
LLVM components that are modified for SeaHorn
priyasiddharth/plfa.github.io
An introduction to programming language theory in Agda
priyasiddharth/priyasiddharth.github.io
Siddharth's portfolio
priyasiddharth/rust
Empowering everyone to build reliable and efficient software.
priyasiddharth/rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
priyasiddharth/schmitty
Agda bindings to SMT-LIB2 compatible solvers.
priyasiddharth/sea-dsa
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
priyasiddharth/seahorn
SeaHorn Verification Framework
priyasiddharth/sv-comp-c
sv comp c benchmarks
priyasiddharth/verify-c-common
priyasiddharth/verifyTrusty
priyasiddharth/xargo
The sysroot manager that lets you build and customize `std`