mlfbrown

Pinned Repositories

CMU-program-analysis.github.io
Public-facing course info for program analysis materials.
Language:TeX37 7 010
angr-doc
Documentation for the angr suite
Language:Python0 0 00
apron-bindings
Haskell bindings to the APRON library
Language:Haskell1 2 31
circ
(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
Language:Rust10
linux
Linux kernel source tree
Language:C0 1 00
mlfbrown.github.io
Language:HTML0 1 00
node
Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:
Language:JavaScript0 1 00
solang
Solidity Compiler for Solana, Substrate, and ewasm
Language:Rust00
sys2
Sys, but no longer in Haskell
Language:Rust17 3 21
sys
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
Language:LLVM224 23 2842

mlfbrown's Repositories

mlfbrown/sys2
Sys, but no longer in Haskell
Language:Rust17 3 21
mlfbrown/apron-bindings
Haskell bindings to the APRON library
Language:Haskell1 2 31
mlfbrown/circ
(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
Language:Rust10
mlfbrown/angr-doc
Documentation for the angr suite
Language:Python0 0 00
mlfbrown/linux
Linux kernel source tree
Language:C0 1 00
mlfbrown/mlfbrown.github.io
Language:HTML0 1 00
mlfbrown/node
Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:
Language:JavaScript0 1 00
mlfbrown/solang
Solidity Compiler for Solana, Substrate, and ewasm
Language:Rust00