The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
Repository Index
61,275 visible repositories in the index
5,977–6,000 of 7,299 · Most stars
Froggit-Go is a universal Go library, allowing to perform actions on VCS providers.
a feature engineering wrapper for sklearn
🐝 A Highly Performant and easy to use goroutine pool for Go
- goroutine
- goroutine-pool
- goroutine-scheduling
- task-scheduler
Fire alarms with system events
- alarm
- fire-alarm
- golang
- system
A Modern C++ Wrapper for TensorFlow
Outcome-based persistent memory MCP server for Claude Code and OpenCode. Good advice promoted, bad advice demoted. pip install roampal.
- ai-memory
- claude-code
- llm
- mcp
High performance utility functions using Generics
- filter
- functional
- generics
- go
A high-performance basic router works anywhere.
A modern, high-performance C++17 graphics and compute library based on Vulkan
### This project has been merged ESPHelper. Please use https://github.com/ItKindaWorks/ESPHelper ### A port of the ESPHelper library for ESP32 devices
A performant, 100% native-julia SHA1, SHA2, and SHA3 implementation
- cryptography
- sha1
- sha2
- sha3
A stand-alone Swift wrapper around the libpq client library, enabling access to PostgreSQL servers.
- swift
- server-side-swift
- postgresql
- perfect
Ada-language framework
- ada
- ada-language
- arm
- avr
Persistent, fast and secure signature provider for EOSIO chains built on top of EOSIO Signing Requests (EEP-7)
- anchor-link
- eos
- eosio
- eosio-signing-request
a text-based cooperative cooking game
Page-specific javascript for Rails applications with the ability of passing data.
TranslatedEasy and safe convert any value to another type in Go. (Safe data type conversion for Go)
- golang
- convert
- cast
- helper
Ready Neovim's configuration for fullstack developers.
Refinery CMS engine to manage copywriting, application wide or per pages with i18n.
Apache JMeter plugin for load testing HLS and MPEG-DASH video streams. Simulates adaptive bitrate playback, manifest/segment downloads, and live or VOD streaming.
Professional ECU Diagnostics & Tuning Suite
- automotive
- csharp
- diagnostics
- dotnet
Crystal wrapper for the libsodium crypto API
- crystal
- cryptography
- nacl
- libsodium
🛡️ Free AI that blocks hackers while you sleep. Runs on cheap hardware. When someone in Tokyo gets attacked, you're protected in 30 seconds. No fees. No experts needed. Just protection. One node's detection → everyone's protection.
- ai-security
- cybersecurity
- ids
- iot-security