Eladkay

Eladkay's repositories

Scanner mod

Language:Java500

OPLSS '23 Lecture Notes

Language:TeX400

Config files for my GitHub profile.

200

Elliptic curve cryptography learning aid & visualizer

Language:Kotlin200

Some of the scripts of the 3rd place division 1 winners, Psagot 22

Language:Python200

Language:C++1 10

Translating compiler between Python and representations for SMT

Language:PythonLGPL-2.1100

Python Syntax-Guided Synthesizer

Language:Python100

https://eladkay.com/TechnionDependenciesHelper

Language:PHP100

Language:Python000

Language:Kotlin000

A port of Coq to Javascript -- Run Coq in your Browser

NOASSERTION000

A library for the TeamWizardry mods

LGPL-3.0000

If you fork this then you can say you forked a potato.

Language:JavaGPL-3.0000

000

Scalpel: The Python Static Analysis Framework

Apache-2.0000

tokyo metro files

Language:Kotlin010