Github Repositories Trend

hatRiot/token-priv

Token Privilege Research
Total stars
479
Stars per day
0
Created at
3 years ago
Language
C++
Related Repositories
axiom
Axiom is a free, open source computer algebra system
phd-thesis
Repository of my thesis "Understanding Random Forests"
ROPMEMU
ROPMEMU is a framework to analyze, dissect and decompile complex code-reuse attacks.
hacl-star
HACL*, a formally verified cryptographic library written in F*
ctf
CTF Field Guide
certigrad
Certified stochastic computation graphs
kokkos
Core repository for Kokkos software
hopper-v0
a sound modern language for computation and transactional resource logic
mindless-coding
Mindless, verified (erasably) coding using dependent types
BitWasp
Open Source Bitcoin Marketplace Software


daly/axiom

Axiom is a free, open source computer algebra system
Homepage
http://axiom.axiom-developer.org
Total stars
210
Related Repositories
Link

glouppe/phd-thesis

Repository of my thesis "Understanding Random Forests"
Total stars
470
Related Repositories
Link

vrtadmin/ROPMEMU

ROPMEMU is a framework to analyze, dissect and decompile complex code-reuse attacks.
Homepage
http://www.talosintelligence.com/ropmemu/
Total stars
267
Language
Python
Related Repositories
Link

mitls/hacl-star

HACL*, a formally verified cryptographic library written in F*
Total stars
1,307
Related Repositories
Link

trailofbits/ctf

CTF Field Guide
Homepage
https://trailofbits.github.io/ctf/
Total stars
1,101
Language
C
Related Repositories
Link

dselsam/certigrad

Certified stochastic computation graphs
Total stars
354
Related Repositories
Link

kokkos/kokkos

Core repository for Kokkos software
Total stars
623
Language
C++
Related Repositories
Link

hopper-lang/hopper-v0

a sound modern language for computation and transactional resource logic
Total stars
104
Related Repositories
Link

jonleivent/mindless-coding

Mindless, verified (erasably) coding using dependent types
Total stars
104
Related Repositories
Link

Bit-Wasp/BitWasp

Open Source Bitcoin Marketplace Software
Homepage
http://bit-wasp.org
Total stars
262
Language
PHP
Related Repositories
Link