e-sh4rk Goto Github PK

abstract-interpreter

Abstract interpreter for analysing PHP code. Coded in OCaml.

aliasesmanager

Create and manage custom aliases for Windows.

alt-ergo

OCamlPro public development repository for Alt-Ergo

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. 🛠🛡📱

chess

Projet Programmation 2

codegenerator

ACE code generator for gen3 Pokemon games.

decafinder

dodge-man

emeraldace_tuto

emeraldace_web

Repository storing predefined codes for the Pokemon Gen3 ACE code generator

emulatorjs

The official home of the EmulatorJS project

extendedstory

Causal analysis for the Kappa language.

funcprog

ivy-research

k-clustering

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.

kind2

Multi-engine SMT-based automatic model checker for safety properties of Lustre programs

kururintas

Several tools for TASing KuruKuruKururin

kurutools

Level editor for the GBA games Kuru Kuru Kururin and Kururin Paradise.

lmoch

mrjackinterface

Interface for the MrJack AI

occurencetyping

p2p-irc

pokeglitzer

Pokemon save editor (gen 3) for glitchers

printooth

A well documented, high-level Android interface that makes printing via bluetooth printers easier

prototype

Prototype of set-theoretic type system, with polymorphism and type inference.

reedandshepp

C# interface for computing ReedAndShepp curves

robotmotionplanning

rucky

A simple to use USB HID Rubber Ducky Launch Pad for Android.

teaching-public