j31d0

Pinned Repositories

2016defcon_qual
Language:Python00
Calculator
Just a simple calculator
Language:Scala00
cgc-cbs
CGC for x86-64 machine
Language:C00
ChessAI
Language:Scala00
ClassicalLogicMonad
Language:Coq10
ELFFile
to parse & patch ELF file easily
Language:Python30
homNAND
can generate encrypted binary file which can run in custom architecture based on nandToTetris
Language:Scala1 2 00
Itc
Interactive Type Checker
Language:Scala00
pctf2016
Language:C11
proxy2
HTTP/HTTPS proxy in a single python script
Language:Python11

j31d0's Repositories

j31d0/ELFFile
to parse & patch ELF file easily
Language:Python30
j31d0/ClassicalLogicMonad
Language:Coq10
j31d0/homNAND
can generate encrypted binary file which can run in custom architecture based on nandToTetris
Language:Scala1 2 00
j31d0/pctf2016
Language:C11
j31d0/proxy2
HTTP/HTTPS proxy in a single python script
Language:Python11
j31d0/2016defcon_qual
Language:Python00
j31d0/Calculator
Just a simple calculator
Language:Scala00
j31d0/cgc-cbs
CGC for x86-64 machine
Language:C00
j31d0/ChessAI
Language:Scala00
j31d0/Itc
Interactive Type Checker
Language:Scala00
j31d0/j31d0
My personal repository.
00
j31d0/j31d0.github.io
Language:CSS00
j31d0/jni-github-crawler
Language:Scala00
j31d0/lion_alpha
experimental Social network android application
Language:Java