Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
- coq
- metaprogramming
- coq-formalization
- rocq
Repository Index
47,133 repositories indexed
4,153–4,176 of 8,961 · Most stars
This is a collection of modules that I've released over the years. Most of them stand alone, or have just one or two dependencies in here, so you don't have to download this whole repo.
- d
Automon combines the power of AOP (AspectJ) with monitoring or logging tools you already use to declaratively trace and monitor your Java code, the JDK, and 3rd party libraries.
- aspectj
- monitoring
- java
- performance
Paaster is a secure and user-friendly pastebin application that prioritizes privacy and simplicity. With end-to-end encryption and paste history, Paaster ensures that your pasted code remains confidential and accessible.
- pastebin
- paaster
- e2ee
- paste
ASP.NET Core Blazor Content Management System (CMS)
- asp-net-core
- aspnet-core
- aspnetcore
- blazor
Build microservice with rk-boot and let the team take over clean and tidy code.
🔌 Non-blocking TCP socket layer, with event-driven server and client.
- tcp
- sockets
- vapor
- server-side-swift
csshX like ssh tool for iTerm2
A PHP fast CGI client for sending requests (a)synchronously to PHP-FPM
- php-fpm
- unix-domain-socket
- network-socket
- php
Fake server, Consumer Driven Contracts and help with testing performance from one configuration file with zero system dependencies and no coding whatsoever
TranslatedWith several AI terminals open, you can see at a glance which one is waiting for you. Claude Code and Codex stay in their original terminals, and right beside them you can edit files and check Git. A local workbench for macOS.
REST API Client Library
🛠 Explore the API of the League of Legends client
Simplifying encrypted traffic analysis for researchers by making protocol decryption effortless.
Heroku-like experience when using AWS Lambda
:atom: Social (OAuth1\OAuth2\OpenID\OpenIDConnect) sign with PHP :shipit:
- php
- oauth
- social
- oauth-application
A data access library for MongoDB with an elegant api, LINQ support and built-in entity relationship management
- mongodb
- mongodb-driver
- mongodb-repo
- csharp
A high performance, shared memory, lock free, cross platform, single file, no dependencies, C++11 key-value store
AI Plugin is a powerful extension for the Payload CMS, integrating advanced AI capabilities to enhance content creation and management.
- ai
- ai-writing
- payloadcms
- plugin
A repo to automatically generate and keep updated a series of Docker images through GitHub Actions.
- docker
- automation
- github-action
- update
Minecraft launcher for Windows, macOS and Linux: Modrinth and CurseForge mods, Forge/Fabric/Quilt/NeoForge, automatic Java, skins, friends. Open source, Tauri 2 + React.
A library built to provide support for defining service health for golang services. It allows you to register async health checks for your dependencies and the service itself, provides a health endpoint that exposes their status, and health metrics.
Easy and efficient audio synthesis in C++
A NeoVim config for THE ULTIMATE vim IDE-like experience.