fcasal Goto Github PK

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

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

compiler-rt

Mirror of official compiler-rt git repository located at http://llvm.org/git/compiler-rt. Updated every five minutes.

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.

conrep

cryptoutils.jl

Cryptography and number-theory primitives in Julia

cutter

A Qt and C++ GUI for radare2 reverse engineering framework

docs

Documentation for Plausible Analytics

fcasal.github.io

genpsat

GenPSAT solver

ggenpsat

GGenPSAT solver - a satisfiability solver for a probabilistic logic

go-ethereum

Official Go implementation of the Ethereum protocol

hook_genie

Simple hook generator

ipython

Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.

muqeqa

prop

My take on a rop chain generator

r2con

Radare Congress Stuff

radare2

unix-like reverse engineering framework and commandline tools

radare2-regressions

Regression Tests for the Radare2 Reverse Engineer's Debugger

radare2book

r1 book transcription to r2

rizin

UNIX-like reverse engineering framework and command-line toolset.

sarif-rs

A group of Rust projects for interacting with the SARIF format

satdeqprl

Satisfiability solver for Probabilistic Logics over Equations and Domain Restrictions

semgrep-docs

Documentation of Semgrep: a fast, open-source, static analysis tool.

starknet-ecosystem.com

StarkNet Ecosystem Dashboard

tutorials

Some Lean tutorials

vasco-jofra.github.io

My website vasco-jofra.github.io

website