Filipe Casal's repositories

CryptoUtils.jl

Cryptography and number-theory primitives in Julia

Language:JuliaLicense:MITStargazers:5Issues:2Issues:1

xeldibug

Debug shellcode/asm in r2

Language:PythonStargazers:3Issues:2Issues:0

ggenpsat

GGenPSAT solver - a satisfiability solver for a probabilistic logic

Language:PythonStargazers:1Issues:1Issues:0

hook_genie

Simple hook generator

Language:PythonLicense:GPL-3.0Stargazers:1Issues:1Issues:0

algebra

Libraries for finite field, elliptic curve, and polynomial arithmetic

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

blog

The radare2 blog, available on radare.today

Stargazers:0Issues:1Issues:0

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

Language:CodeQLLicense:MITStargazers:0Issues:0Issues:0

compiler-rt

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

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

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.

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

cutter

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

Language:C++License:GPL-3.0Stargazers:0Issues:1Issues:0
Stargazers:0Issues:1Issues:0

docs

Documentation for Plausible Analytics

License:CC-BY-SA-4.0Stargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:0Issues:0

go-ethereum

Official Go implementation of the Ethereum protocol

License:LGPL-3.0Stargazers:0Issues:0Issues:0

ipython

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

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

prop

My take on a rop chain generator

Language:PythonStargazers:0Issues:1Issues:0

r2con

Radare Congress Stuff

Language:CStargazers:0Issues:1Issues:0

radare2

unix-like reverse engineering framework and commandline tools

Language:CLicense:LGPL-3.0Stargazers:0Issues:1Issues:0

radare2-regressions

Regression Tests for the Radare2 Reverse Engineer's Debugger

Language:ShellLicense:GPL-3.0Stargazers:0Issues:1Issues:0

radare2book

r1 book transcription to r2

Language:TeXStargazers:0Issues:1Issues:0

rizin

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

License:LGPL-3.0Stargazers:0Issues:0Issues:0

sarif-rs

A group of Rust projects for interacting with the SARIF format

Language:RustLicense:MITStargazers:0Issues:0Issues:0

semgrep-docs

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

License:LGPL-2.1Stargazers:0Issues:0Issues:0

starknet-ecosystem.com

StarkNet Ecosystem Dashboard

License:Apache-2.0Stargazers:0Issues:0Issues:0

tutorials

Some Lean tutorials

Language:LeanLicense:Apache-2.0Stargazers:0Issues:1Issues:0

Vasco-jofra.github.io

My website vasco-jofra.github.io

Language:HTMLStargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:1Issues:0
Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:C++Stargazers:0Issues:1Issues:0