Florian Märkl's repositories
AppAuth-Android
Android client SDK for communicating with OAuth 2.0 and OpenID Connect providers.
capstone
Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), BPF, Ethereum VM, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, TriCore, Webassembly, XCore and X86.
NOASSERTION000
Language:C000
gha-get-release
Github Action to get release information based on a tag
macports-ports
The MacPorts ports tree
SmartTubeNext
Better YouTube experience on Android TV
tree-sitter
An incremental parsing system for programming tools
WasmCert-Isabelle
A mechanisation of Wasm in Isabelle.