Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
- coq-plugin
- large-numbers
- coq
- docker-coq-action
Repository Index
47,133 repositories indexed
4,153–4,176 of 4,719 · Most stars
A repo-native coding-agent loop harness for Claude, Codex, Copilot, and other CLI agents. Agents can edit. Gates decide what lands. You set the plan in motion. The agents take a prompt, and each iteration must update specs and commit through guardrails.
Libnotify for Crystal
Procedural Cross-Platform 3D Tower Defense WebGame with Physics and AI and Procedural Sound
- babylonjs
- javascript
- typescript
- projectiles
.Net Code Katas - A prebuild Kata project that already includes tests and base classes.
- kata
- c-sharp
- caesar-cipher
- roman-numerals
A 3d platformer browser game prototype made with the BabylonJS framework written in TypeScript.
Dependency manager for Qt / C++.
- qt
- cplusplus
- qompoter
- qmake
Template of yew project, using tailwind and webpack for css, trunk for build and serve, deployable as is for github.io
Unofficial J2ME application for the most popular Russian social site, VK.
- homebrew
- j2me
- j2me-platform
- vk
A tiny cross-platform Go library to hide/unhide files and directories
- fs
- file
- hide-files
- hide-folder
Download videos from YouTube (and similar video platforms) and add them to IPFS.
National Vulnerability Database (NVD) implemented by rust
- cpe
- cve
- cvss
- nvd
Typed, validated config from process.env, .env files, or any object, on Node, Bun, Deno, Cloudflare Workers, and the browser. No runtime dependencies.
- config
- decorators
- dotenv
- env
A C# wrapper written around QPDF, allowing for various operations on PDF documents: transformations, page manipulation, linearization, and more.
- pdf-lib
- csharp-pdf
universal file based router
Kibana 6 Templates for Suricata IDPS Threat Hunting
Edit GPG encrypted files symmetrically in NeoVIM
- neovim
- neovim-plugin
- neovim-plugin-lua
- neovim-plugin-template
Farm Calculators WordPress Plugin
- agriculture
- calculator
- wordpress-plugin
Waves Platform Development Kit for PHP
- wavesplatform
- php
- devkit
- waveskit
:trophy: A small CSS library for simulating FIRST Robotics Competition's blue award banners.
A framework to connect other cryptocurrencies to the Waves platform.
Sample Next.js app with PocketBase integration
- nextjs
- pocketbase
- nextjs-template
Object Relational Mapping unit built on top of Greyhound project
Utilities for running Common Lisp on CI platforms
- common-lisp
- ci
- travis-ci
- circleci