erivas

Pinned Repositories

agda-categories
A new Categories library for Agda
Language:Agda0 0 00
echidna
Ethereum smart contract fuzzer
Language:Solidity0 0 00
FStar
Verification system for effectful programs
Language:F*0 0 00
gdbasm
Assembler plugin for gdb
Language:Python2 1 00
GuidoBot
A simple Telegram bot
Language:Go0 0 00
llvm-update39
Silly example of llvm plugin using the new pass manager
Language:C++00
ocaml-bls12-381
Language:Assembly0 0 00
pwndbg
Exploit Development and Reverse Engineering with GDB Made Easy
Language:Python0 0 00
randomness-cameligo
An exemple of a contract generating a random number in CameLIGO
Language:LigoLANG0 0 00
randomness-jsligo
An exemple of a contract generating a random number in JsLIGO
Language:JavaScript0 0 00

erivas's Repositories

erivas/gdbasm
Assembler plugin for gdb
Language:Python2 1 00
erivas/agda-categories
A new Categories library for Agda
Language:Agda0 0 00
erivas/echidna
Ethereum smart contract fuzzer
Language:Solidity0 0 00
erivas/FStar
Verification system for effectful programs
Language:F*0 0 00
erivas/GuidoBot
A simple Telegram bot
Language:Go0 0 00
erivas/llvm-update39
Silly example of llvm plugin using the new pass manager
Language:C++00
erivas/ocaml-bls12-381
Language:Assembly0 0 00
erivas/pwndbg
Exploit Development and Reverse Engineering with GDB Made Easy
Language:Python0 0 00
erivas/randomness-cameligo
An exemple of a contract generating a random number in CameLIGO
Language:LigoLANG0 0 00
erivas/randomness-jsligo
An exemple of a contract generating a random number in JsLIGO
Language:JavaScript0 0 00
erivas/simplezbar
cordova plugin for zbar
Language:Java0 1 00
erivas/rexample
Language:OCaml1 0
erivas/scott
Selected Papers of Dana S. Scott
0 0
erivas/semgrep-go
Language:Go1 0