E-Sh4rk

Postdoc researcher at Charles University (Prague), working on type systems and dynamic programming languages.

France

Pinned Repositories

CodeGenerator
ACE code generator for gen3 Pokemon games.
Language:OCaml3 2 22
EmeraldACE_tuto
7 2 10
EmeraldACE_web
Repository storing predefined codes for the Pokemon Gen3 ACE code generator
Language:HTML12 2 27
ExtendedStory
Causal analysis for the Kappa language.
Language:JavaScript2 3 00
kappa-stats
A simple tool that takes a Kappa trace and a rule name, and lists values (and corresponding frequencies) taken by each logical site of each agent on which the rule has been applied.
Language:OCaml1 3 00
KururinTAS
Several tools for TASing KuruKuruKururin
Language:C#8 2 01
KuruTools
Level editor for the GBA games Kuru Kuru Kururin and Kururin Paradise.
Language:C#6 3 61
PokeGlitzer
Pokemon save editor (gen 3) for glitchers
Language:C#20 2 41
Prototype
Prototype of set-theoretic type system, with polymorphism and type inference.
Language:OCaml11 8 11
VVVVVV-AI
Language:Python2 2 00

E-Sh4rk's Repositories

E-Sh4rk/PokeGlitzer
Pokemon save editor (gen 3) for glitchers
Language:C#20 2 41
E-Sh4rk/EmeraldACE_web
Repository storing predefined codes for the Pokemon Gen3 ACE code generator
Language:HTML12 2 27
E-Sh4rk/Prototype
Prototype of set-theoretic type system, with polymorphism and type inference.
Language:OCaml11 8 11
E-Sh4rk/KururinTAS
Several tools for TASing KuruKuruKururin
Language:C#8 2 01
E-Sh4rk/EmeraldACE_tuto
7 2 10
E-Sh4rk/KuruTools
Level editor for the GBA games Kuru Kuru Kururin and Kururin Paradise.
Language:C#6 3 61
E-Sh4rk/CodeGenerator
ACE code generator for gen3 Pokemon games.
Language:OCaml3 2 22
E-Sh4rk/VVVVVV-AI
Language:Python2 2 00
E-Sh4rk/OccurenceTyping
Language:OCaml1 5 01
E-Sh4rk/AliasesManager
Create and manage custom aliases for Windows.
Language:C#2 0
E-Sh4rk/alt-ergo
OCamlPro public development repository for Alt-Ergo
Language:OCaml2 0
E-Sh4rk/android-usb-gadget
Convert your Android phone to any USB device you like! USB Gadget Tool allows you to create and activate USB device roles, like a mouse or a keyboard. 🛠🛡📱
Language:Kotlin0 0
E-Sh4rk/CodeGeneratorOffline
Language:Python
E-Sh4rk/decafinder
Language:C++1 0
E-Sh4rk/EmulatorJS
The official home of the EmulatorJS project
Language:JavaScript0 0
E-Sh4rk/FuncProg
Language:Assembly6 0
E-Sh4rk/ivy-research
Language:Python2 01
E-Sh4rk/k-clustering
Language:Python2 0
E-Sh4rk/kind2
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
Language:OCaml1 0
E-Sh4rk/lmoch
Language:OCaml2 0
E-Sh4rk/MrJackInterface
Interface for the MrJack AI
Language:JavaScript2 0
E-Sh4rk/Printooth
A well documented, high-level Android interface that makes printing via bluetooth printers easier
Language:Kotlin1 0
E-Sh4rk/RobotMotionPlanning
Language:C#2 0
E-Sh4rk/Rucky
A simple to use USB HID Rubber Ducky Launch Pad for Android.
Language:Java0 0
E-Sh4rk/teaching-public
Language:Python1 0
E-Sh4rk/tflite_flutter_helper
TensorFlow Lite Flutter Helper Library
Language:Dart1 0
E-Sh4rk/tflite_flutter_plugin
TensorFlow Lite Flutter Plugin
Language:Dart1 0
E-Sh4rk/TypeInference
M2 Internship
Language:TeX2 0
E-Sh4rk/VVVVVV
Fork of VVVVVV that allows control of the game from an external program
Language:ActionScript1 0
E-Sh4rk/why3
Language:TeX2 0