Eladkay

MSc. student and TA at the Technion - Israel Institute of Technology.

TechnionHaifa

Pinned Repositories

Eladkay
Config files for my GitHub profile.
2 1 00
EllipticCurve
Elliptic curve cryptography learning aid & visualizer
Language:Kotlin20
MatamTutorials
Language:C++1 1 00
OPLSS23LectureNotes
OPLSS '23 Lecture Notes
Language:TeX40
Scanner
Scanner mod
Language:Java55
SLACC
Python Syntax-Guided Synthesizer
Language:Python1 1 00
Technion-CTF
Some of the scripts of the 3rd place division 1 winners, Psagot 22
Language:Python2 1 00
TechnionDependenciesHelper
https://eladkay.com/TechnionDependenciesHelper
Language:PHP10
WidowXRL
Language:Python10

Eladkay's Repositories

Eladkay/Scanner
Scanner mod
Language:Java55
Eladkay/OPLSS23LectureNotes
OPLSS '23 Lecture Notes
Language:TeX40
Eladkay/Eladkay
Config files for my GitHub profile.
2 1 00
Eladkay/EllipticCurve
Elliptic curve cryptography learning aid & visualizer
Language:Kotlin20
Eladkay/Technion-CTF
Some of the scripts of the 3rd place division 1 winners, Psagot 22
Language:Python2 1 00
Eladkay/MatamTutorials
Language:C++1 1 00
Eladkay/Py2Smt
Translating compiler between Python and representations for SMT
Language:Python10
Eladkay/SLACC
Python Syntax-Guided Synthesizer
Language:Python1 1 00
Eladkay/TechnionDependenciesHelper
https://eladkay.com/TechnionDependenciesHelper
Language:PHP10
Eladkay/WidowXRL
Language:Python10
Eladkay/graal_metaprogramming
Language:Kotlin
Eladkay/jscoq
A port of Coq to Javascript -- Run Coq in your Browser
Eladkay/LibrarianLib
A library for the TeamWizardry mods
Eladkay/Potato
If you fork this then you can say you forked a potato.
Language:Java
Eladkay/safot
Eladkay/Scalpel
Scalpel: The Python Static Analysis Framework
Eladkay/tokyometro
tokyo metro files
Language:Kotlin1 0