pufferffish

wireproxy

Wireguard client that exposes itself as a socks5 proxy

idris2-tls

A portable idris2 implementation of TLS

idris2-http

a http(s) client in idris

valhalla-go

Go bindings to valhalla

agda-symmetries

wad2-groupproject

WAD2 Group Project by Lab Group 10 Team A

circl

CIRCL: Cloudflare Interoperable Reusable Cryptographic Library

cloudflared

Cloudflare Tunnel client (formerly Argo Tunnel)

wanparty

agda-test

bs-speke

BS-SPEKE demo

calamity

A library for writing discord bots in haskell

capnproto-java-rpc

Cap'n Proto RPC in pure Java

cubical

An experimental library for Cubical Agda

fuzzyibe

A Haskell implementation of Fuzzy Identity Based Encryption modified to work over asymmetric bilinear pairing

go-openai

OpenAI ChatGPT, GPT-3, GPT-4, DALL·E, Whisper API wrapper for Go

Il2CppDumper

Unity il2cpp reverse engineer

mariascrs.github.io

💎 🐳 A super customizable Jekyll theme for personal site, team site, blog, project, documentation, etc.

plyvel

Plyvel, a fast and feature-rich Python interface to LevelDB

todo-to-issue-action

Action that converts TODO comments to GitHub issues on push.

valhalla

Open Source Routing Engine for OpenStreetMap