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
Repository Index
47,133 repositories indexed
385–408 of 754 · Most stars
Automatically trakt.tv what you're watching on VLC
- vlc
- trakt
- movie
- python
Software suite for the automated generation of geographically correct or schematic transit maps.
Useful primitives for wallets
Polyrhythmically-inclined Midi Drum generator
Download, unpack from a ZIP/TAR/GZ/BZ2 archive, parse, correct, convert units and import Google Spreadsheets, XLS, ODS, XML, CSV, HTML, etc. into your ActiveRecord models. Uses RemoteTable gem internally.
TranslatedHire a private AI tutor for anything — it reads how you actually learn and teaches the next lesson just for you. Bloom's 2-Sigma research as a Claude Code skill + self-hostable web app · Chinese-first Socratic AI tutor
- agent-skills
- ai-tutor
- chinese
- claude-code
Powerful, free, context-aware AI native meeting assistant that transcribes real-time and locally on your computer, writes the minutes, and lets your AI agent drive it.
- ai-agent
- claude-code
- codex
- meeting-minutes
Generate Docker Compose and Kubernetes manifests visually, or let an AI agent do the building
- docker
- kubernetes
- composer
A handful of things that were helpful to me, or that I developed with other allies, while working at Etsy.
⚡️ Automatically add Trace Spans to Go functions
Powerful Minecraft FPS booster and performance optimization mod. Dramatically increases frames, reduces lag, and optimizes rendering for 1.20–1.21. Forge & Fabric support, clean modular structure.
Multiple, simultaneous, individually controllable spinners for concurrent tasks in Node.js CLI programs
:sweat_drops::metal: A mimetic poly-alloy of the Quicksilver scoring algorithm, essentially LiquidMetal. </Schwarzenegger Voice>
- fuzzy-matching
- fuzzy-search
- javascript
Automatically exported from code.google.com/p/creddump
Cryptographic library for Embarcadero Delphi and potentially for FPC as well
- delphi
- key-deviation-algorithms
- cryptographic-checksums
- kdf1
Automatically add simple type annotations to your code
- mypy
- python
- typing
Visually build and edit family trees online. Genea is a completely serverless solution for consuming and authoring GEDCOM genealogy data.
- genea
- family-tree
- gedcom
- genealogy
Ninja Gaiden Black (Xbox, 2005) statically recompiled into native Linux and Windows builds, with an experimental Android port, drawn by its own Vulkan renderer. A steady 60 fps, widescreen and ultrawide, keyboard and mouse, touch controls on Android, Steam Deck ready. Bring your own copy of the game.
- linux
- ninja-gaiden
- pc-port
- recompilation
✂ Easy to use and flexible library for manually laying out views and layers for iOS and tvOS. Supports AsyncDisplayKit.
- cocoapods
- swift
- layout
- layout-engine
Sophisticated and functionally-minded async with advanced features: coroutines, promises, ES2015 iterables, fantasy-land
- promise
- fantasy-land
- async
- asynchronous
A typographically elegant, clean, and structured LaTeX template.
- design
- latex
- template
- typography
Monitoring changes in the source file and automatically compile and run (restart).
- monitoring
- monitor-changes
- inotify
- filewatcher
formally verified category theory library
- category-theory
- formal-verification
- formal-proofs