Pinned Repositories
amarna
Amarna is a static-analyzer and linter for the Cairo programming language.
algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
angr
The next-generation binary analysis platform from UC Santa Barbara's Seclab!
blog
The radare2 blog, available on radare.today
CryptoUtils.jl
Cryptography and number-theory primitives in Julia
ggenpsat
GGenPSAT solver - a satisfiability solver for a probabilistic logic
hook_genie
Simple hook generator
xeldibug
Debug shellcode/asm in r2
vscode-weaudit
Create code bookmarks and code highlights with a click.
zkdocs
Interactive documentation on zero-knowledge proof systems and related primitives.
fcasal's Repositories
fcasal/CryptoUtils.jl
Cryptography and number-theory primitives in Julia
fcasal/ggenpsat
GGenPSAT solver - a satisfiability solver for a probabilistic logic
fcasal/hook_genie
Simple hook generator
fcasal/algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
fcasal/blog
The radare2 blog, available on radare.today
fcasal/codeql
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security (code scanning), LGTM.com, and LGTM Enterprise
fcasal/compiler-rt
Mirror of official compiler-rt git repository located at http://llvm.org/git/compiler-rt. Updated every five minutes.
fcasal/comprehensive-rust
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust to everyone.
fcasal/cutter
A Qt and C++ GUI for radare2 reverse engineering framework
fcasal/conrep
fcasal/docs
Documentation for Plausible Analytics
fcasal/fcasal.github.io
fcasal/go-ethereum
Official Go implementation of the Ethereum protocol
fcasal/ipython
Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.
fcasal/liboqs
C library for prototyping and experimenting with quantum-resistant cryptography
fcasal/muqeqa
fcasal/prop
My take on a rop chain generator
fcasal/r2con
Radare Congress Stuff
fcasal/radare2
unix-like reverse engineering framework and commandline tools
fcasal/radare2-regressions
Regression Tests for the Radare2 Reverse Engineer's Debugger
fcasal/radare2book
r1 book transcription to r2
fcasal/rizin
UNIX-like reverse engineering framework and command-line toolset.
fcasal/sarif-rs
A group of Rust projects for interacting with the SARIF format
fcasal/semgrep-docs
Documentation of Semgrep: a fast, open-source, static analysis tool.
fcasal/starknet-ecosystem.com
StarkNet Ecosystem Dashboard
fcasal/tutorials
Some Lean tutorials
fcasal/Vasco-jofra.github.io
My website vasco-jofra.github.io
fcasal/website
fcasal/yttup
fcasal/ze