fcasal Goto Github PK
Name: Filipe Casal
Type: User
Name: Filipe Casal
Type: User
Libraries for finite field, elliptic curve, and polynomial arithmetic
The next-generation binary analysis platform from UC Santa Barbara's Seclab!
The radare2 blog, available on radare.today
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
Mirror of official compiler-rt git repository located at http://llvm.org/git/compiler-rt. Updated every five minutes.
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust to everyone.
Cryptography and number-theory primitives in Julia
A Qt and C++ GUI for radare2 reverse engineering framework
Documentation for Plausible Analytics
GenPSAT solver
GGenPSAT solver - a satisfiability solver for a probabilistic logic
Official Go implementation of the Ethereum protocol
Simple hook generator
Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.
My take on a rop chain generator
Radare Congress Stuff
unix-like reverse engineering framework and commandline tools
Regression Tests for the Radare2 Reverse Engineer's Debugger
r1 book transcription to r2
UNIX-like reverse engineering framework and command-line toolset.
A group of Rust projects for interacting with the SARIF format
Satisfiability solver for Probabilistic Logics over Equations and Domain Restrictions
Documentation of Semgrep: a fast, open-source, static analysis tool.
StarkNet Ecosystem Dashboard
Some Lean tutorials
My website vasco-jofra.github.io
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.