pufferfish's repositories
idris2-tls
A portable idris2 implementation of TLS
idris2-http
a http(s) client in idris
valhalla-go
Go bindings to valhalla
wad2-groupproject
WAD2 Group Project by Lab Group 10 Team A
cloudflared
Cloudflare Tunnel client (formerly Argo Tunnel)
capnproto-java-rpc
Cap'n Proto RPC in pure Java
Appsealing-Reversal
A Reversal and bypass for Appsealing
GPL-3.0000
Il2CppDumper
Unity il2cpp reverse engineer
lean-crypto
Cryptographic routines for the Lean 4 language
000
mariascrs.github.io
💎 🐳 A super customizable Jekyll theme for personal site, team site, blog, project, documentation, etc.
Language:SCSSMIT000
revanced-patches
🧩 Patches for ReVanced
GPL-3.0000
todo-to-issue-action
Action that converts TODO comments to GitHub issues on push.
Language:PythonMIT000