Starred repositories
Toy functional language in the ML spirit. With a bidirectional typer, Pratt-parsing and layout syntax over braces.
A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
Xposed Module to Hide Mock Location Settings
Reference applications for funding, operating, and incentivizing the use of a decentralized, public Canton synchronizer. Includes the Amulet reference application for creating native payment utilit…
Scala 3 porting of the Raise DSL from the Arrow Kt Kotlin library
Unlock Felica on non-Japanese Pixel devices that you can use Felica cards in Japan!
Enabling Osaifu-Keitai function on non-Japanese Google Pixel phones.
Google SafetyNet attestation workarounds for Magisk
Sharding and location transparency for Scala
Displax / safetynet-fix
Forked from kdrag0n/safetynet-fixSafetyNet & Play Integrity API workarounds for Magisk
Automatically parallelize your for-comprehensions at compile time.
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
🔓 Disable SSL verification and pinning on Android, system-wide
A module manager for Magisk because the official app dropped support for it
A Magisk/KernelSU module that automatically adds user certificates to the system root CA store
Recursion schemes training examples and exercises
Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com
This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the nat…
Concise syntax for polymorphic values in Scala 2.x.
🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
A little course to learn about some of the more obscure GHC extensions.
Home page for the Simple Haskell Initiative
A microlibrary for Scala encodings of higher-rank quantifiers