Stars
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
A repository of multi-language GBA saves for setting up Arbitrary Code Execution in Pokemon Emerald
Repository storing predefined codes for the Pokemon Gen3 ACE code generator
Exercices for transducers classes of MIMUW.
The Dom amongst the Flipper Zero Firmware. Give your Flipper the power and freedom it is really craving. Let it show you its true form. Dont delay, switch to the one and only true Master today!
Prototype of set-theoretic type system, with polymorphism and type inference.
A Non-Euclidean Rendering Engine for 3D scenes.
An open source command line RatioMaster with an optional WebUI.
English translation of the GBA game Kururin Paradise
Haskell library for building declarative animations based on SVG graphics
This project aims to enhance the working environment on Windows
Official Pytorch implementation of the paper "Action-Conditioned 3D Human Motion Synthesis with Transformer VAE", ICCV 2021
A tool to ease the process of expanding the number of Pokemon in Fire Red. It is meant to be used alongside the Complete FireRed Upgrade.
A complete upgrade for FireRed, including an upgraded Battle Engine.
🧢 Reverse engineering tool for the Klonoa's GBA game
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
A Python library to access Instagram's private API.
The source code to VVVVVV! http://thelettervsixtim.es/
A generic, simple and fast implementation of Deepmind's AlphaZero algorithm.
A well documented, high-level Android interface that makes printing via bluetooth printers easier
Scarygami / giiker
Forked from hakatashi/giikerJavaScript wrapper for GiiKER smart cube Bluetooth API
aaron3481 / flutter_blue
Forked from pauldemarco/flutter_blueBluetooth plugin for Flutter
Designing a Tool-Assisted Speedrun of Kuru Kuru Kururin (GBA, Europe)