Coq library on rewriting theory and termination
Repository Index
47,133 repositories indexed
9,577–9,600 of 11,683 · Most stars
The production agent framework for Go — type-safe agents, structured output, multi-provider streaming, guardrails, and multi-agent orchestration with zero core dependencies.
Cardea is an SSH bastion server with access control, session recording, and optional TPM-backed key protection.
- audit
- bastion
- firewall
- networking
Playground showing how to use swift2 protocol extensions to render errors in UIViews and UIViewControllers without subclassing
14k offline-capable journaling PWA using preact, node, MySQL, and IndexedDB.
Ruby gem to calculate statistics from text to determine readability, complexity and grade level of a particular corpus.
- textstat
- flesch-kincaid-grade
- smog
- flesch-reading-ease
A cookiecutter template for Common Lisp videogame projects
- common-lisp
- cookiecutter
- cookiecutter-template
- lisp
Preact Components for MUI CSS framework.
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem
🎚Swift playground for building animations with UIViewPropertyAnimator
- animation
- swift
- playground
Standalone, declarative <Head /> for Preact.
- preact
- head
- hoc
Easy asynchronous loading for your router components. For 440B.
- preact
- preact-components
- microbundle
- preact-router
Provide Go Statistics Handler, Struct, Measure Method
- go
- golang
- stats
- statistics
MicroPython driver for DS3231 RTC and AT24C32 EEPROM module
(module) A Go task scheduler for cron jobs with cron expressions, task dependency chains, execution timeouts, and graceful shutdown
Demostrates BDD approach with Mobile testing
Find Brazilian addresses by postal code, directly from Correios API. No HTML parsers.
- elixir
- elixir-lang
- correios
- correios-cep
AST-native PostgreSQL toolkit: typed queries to wire protocol, with built-in RLS tenant isolation.
Ada Keystore - protect your sensitive data with secure storage
- keystore
- security-tools
- secure-storage
Window Manager project ported to Swift Playgrounds
Get prayer time displayed in neovim
Playground to visualize functional programming with sequences
annoy-rb provides Ruby bindings for the Annoy (Approximate Nearest Neighbors Oh Yeah).
- ruby
- approximate-nearest-neighbor-search
- nearest-neighbor-search
- gem
An Aseprite File Parser for Heaps
- aseprite
- heaps
- haxe