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
985–1,008 of 1,740 · 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.
Run Claude Code natively on Android via Termux or AVF (Android Virtualization Framework) -- no desktop, no SSH, no root required.
Valit is dead simple validation for .NET Core. No more if-statements all around your code. Write nice and clean fluent validators instead!
The universe in numbers. Free, open-source calculators for everything countable.
🧬 Template engine middleware for Fiber
A declarative serialization framework for controlling formatting of data at the byte and bit level using field bindings, converters, and code.
An opinionated HTTP library for .NET applications built on HttpClient message handlers. Provides request de-duplication, prioritised concurrency limiting, speculative background fetching and optional response caching.
Filter files in a `vinyl` stream
Bootstrappers is the base Rails application using Bootstrap template and other goodies.
Phoenix Template Engine for Slime
The CLI for working with JSON Schema. Covers formatting, linting, testing, bundling, and more for both local development and CI/CD pipelines
Code for the Outreachy website, based on Python, Django, and Bootstrap.
A microframework to build web apps; with handler chaining, middleware support, and most of all; standard library compliant HTTP handlers(i.e. http.HandlerFunc).
Import data files from TypeScript, fully typed. Powered by TypeScript 7.1 content mappers.
Use property paths (`a.b.c`) get a nested value from an object.
TranslatedModern Reactive CQRS Architecture Microservice development framework based on DDD and EventSourcing
Translatedgin auto binding, grpc, and annotated route, gin annotated routes, grpc, automatic parameter binding tool
A Web framework for D Programming Language. Full-stack high-performance.
The Next-Generation Webhooks Gateway.
💫 Deterministic event-sourced state and side effect handling for blockchain applications
⚗️ Lightweight HTTP extensions for Java & Kotlin
A stream that emits multiple other streams one after another (streams3)
The microframework for writing powerful web applications.
Rails 8 app template: Devise auth, Stripe billing, Tailwind CSS, admin panel, SEO helpers, etc