A Lean backend framework whose authorization safety is formally proven. The developer writes only a Cedar schema and policies; handlers are built on Supabase Auth and PostgreSQL.
- access-control
- authorization
- backend-framework
- cedar
47,133 repositories indexed
2,857–2,880 of 4,849 · Most stars
A Lean backend framework whose authorization safety is formally proven. The developer writes only a Cedar schema and policies; handlers are built on Supabase Auth and PostgreSQL.
An audio player for Ionic 3 and Angular 4. Works with HTML 5 audio or native audio using Cordova Media plugin.
Stealing CSRF tokens with CSS injection (without iFrames)
EveryInfra MCP server & agent plugin: scraper API for TikTok, Instagram, Amazon, YouTube, Xiaohongshu & Douyin. 573 data APIs across 106 platforms, from $0.56/1K calls. For Claude Code, Cursor, Codex.
Run Claude Code natively on Android via Termux or AVF (Android Virtualization Framework) -- no desktop, no SSH, no root required.
ChatGPT Telegram Bot running in AWS Lambda
An OCaml kernel for Jupyter (IPython) notebook
Navigation made simple (SwiftUI)
CANToolz - framework for black-box CAN network analysis
Lightweight C++20 testing framework.
Pure Declarative Programming in Swift, Among Other Things
Sayna is a unified Voice Layer for AI Agents with a seemless integration to an existing agentic frameworks
A Ruby-based parsing DSL based on parsing expression grammars.
Prototyping kernel development work outside mainline
🚀 Command Line Tool to create XCFramework for multiple platforms in one shot!
Lightweight and Extensible Infrastructure for Building Web Applications - Web Application Framework
Swift framework to connect SMB2/3 shares
a socket mock framework - for all kinds of socket animals, web-clients included
A lightweight library for writing concurrent programs in Go using the Actor model.
Easy to use test framework for Jupyter Notebooks
A declarative serialization framework for controlling formatting of data at the byte and bit level using field bindings, converters, and code.
TranslatedPacket monster (っ‘-’)╮=͟͟͞͞◒ ヽ( '-'ヽ) TUI tool for sending packets of arbitrary input and monitoring packets on any network interfaces (default: eth0). Windows/macOS/Linux
A Rust library for constructing, sending, capturing, and decoding network packets
A Swift Multiplatform Single-threaded Non-blocking Web and Networking Framework