Pinned Repositories
echidna
Ethereum smart contract fuzzer
Bad-Crypto
A bunch of flawed encryption algorithms
Broadhead
Arrow-based parser combinators
EQUANIMITY3000
Evolved QUantum Adversarial Neural Incrypted Messages In The Year 3000
Idris-Bifunctors
A small bifunctor library for idris
Idris-Profunctors
A small profunctor library for idris
tarts
Timing attack resistant type systems
trapifier.py
Makes audio awesome
indurative
Easily create authenticated data structures
umberto
poststructural fuzzing
japesinator's Repositories
japesinator/tarts
Timing attack resistant type systems
japesinator/Idris-Bifunctors
A small bifunctor library for idris
japesinator/Idris-Profunctors
A small profunctor library for idris
japesinator/Bad-Crypto
A bunch of flawed encryption algorithms
japesinator/funfacts.js
For when javascript's error messages are just way too helpful
japesinator/complex
Messing around with complex numbers in idris
japesinator/EQUANIMITY3000
Evolved QUantum Adversarial Neural Incrypted Messages In The Year 3000
japesinator/retrogarde
japesinator/bary
The worst reversi bot ever
japesinator/berlinblockchainweek
Website for Berlin Blockchain Week 2018
japesinator/chari.co
wabsyte
japesinator/CMHaskell
C-Minus compiler written in haskell
japesinator/constraints-emerge
📤 defer instance resolution until runtime
japesinator/CSAW-CTF-2017-Quals
Repo for CSAW CTF 2018 Quals challenges
japesinator/CTFd
CTFs as you need them
japesinator/dapptools
Dapp, Seth, Hevm, and more
japesinator/eve-api
API for a simulated smart home
japesinator/gucci
HackIllinois 2k15
japesinator/Idris-dev
A Dependently Typed Functional Programming Language
japesinator/japesinator.github.io
It's a blog!
japesinator/memphis
japesinator/onesixtyone
Fast SNMP Scanner
japesinator/remill
Machine code to LLVM binary translator
japesinator/retro2
Some tools for a better (read: not totally broken) version of my HackIllinois project
japesinator/retro_site
site for HackIllinois 2k15
japesinator/scheme
My workthrough of "Write Yourself a Scheme in 48 Hours"
japesinator/SecureEnclaveCrypto
Crypto with the Secure Enclave
japesinator/statement-on-lambdaconf.github.io
japesinator/Stresperiments
japesinator/thotcon_0x6_pres