Basavesh Ammanaghatta Shivakumar's repositories
academic-kickstart
📝 Easily create a beautiful website using Academic, Hugo, and Netlify
bashbap
Binary Analysis Platform
codegen
A Rust library providing a builder API to generate Rust code.
CompCert
The CompCert formally-verified C compiler
crowbar
Property fuzzing for OCaml
debin
Machine Learning to Deobfuscate Binaries
FaCT
Flexible and Constant Time Programming Language
FoxDecBash
Formally verified x86-64 decompilation
jasmin
Jasmin compiler
koka
Koka language compiler and interpreter
libjade
Crypto library
llvm-tutor
A collection of out-of-tree LLVM passes for teaching and learning
nyxstone
Nyxstone: assembly / disassembly library based on LLVM, implemented in C++ with Rust and Python bindings, maintained by emproof.com
openssl
TLS/SSL and crypto library
rust
Empowering everyone to build reliable and efficient software.
rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code
rust-secret-integers
Wrappers around Rust's integer to check for constant-time-compatible usage
safeside
Understand and mitigate software-observable side-channels
stupid-stats
Tutorial and demo of rust compiler replacement tooling
syn
Parser for Rust source code
tonic
A native gRPC client & server implementation with async/await support.
unicorn
Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)
VIBES
Verified, Incremental, Binary Editing with Synthesis