Useless LSPosed Framework Fork

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…

LSPosed Framework resuscitated

Strong type constraints for Scala

Cucumber testing for daml scripts

Coderpad Questions

My changes to LSPosed

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

SafetyNet & 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

Master programming by recreating your favorite technologies from scratch.

A course on homotopy theory and type theory, taught jointly with Jaka Smrekar

The Arend Proof Assistant