17401.uwplse / verdi
A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
- distributed-systems
Ranked by Attention Score: stars gained over the last 90 complete days
17401–17500 of 24,044 by Attention Score · Aug 8, 2026 – Nov 5, 2026 (UTC)
A framework for formally verifying distributed systems implementations in Coq
Unified configuration for systems, packages, modules, shells, templates, and more with Nix Flakes.
Kapow! If you can script it, you can HTTP it.
Modular file scanning/analysis framework
Web Audio metronome example to show scheduling.
A scientific charting library focused on performance optimised real-time data visualisation at 25 Hz update rates for data sets with a few 10 thousand up to 5 million data points.
⚡️ A library of widgets and helpers to build instant-search applications on iOS.
Apple iOS/macOS Provisioning Profiles management,.provisionprofile, .mobileprovision files manager tool for mac
Awesome collection of awesome lists of libraries, tools, frameworks and software for any programming language :D
ByteSize is a utility class that makes byte size representation in code easier by removing ambiguity of the value being represented. ByteSize is to bytes what System.TimeSpan is to time.
Pragmatic Segmenter is a rule-based sentence boundary detection gem that works out-of-the-box across many languages.
Simple and beautiful memory game for kids (since 2014)
Appstore card animation transition. UICollectionView and UITableView card expand animated transition for iOS
MIDI library for Node.js and web-browsers
Airpass - status bar Mac app to overcome time constrained WiFi networks.
Validate the Strength of a Password in Go
Anchor Wallet desktop app for Vaulta (formerly EOS), WAX, Telos and other Antelope networks
A friendly web-component for writing and rendering shaders.
Trace-oriented debugging tools for Clojure
A lightweight unit testing framework for C++
Applications for tracking moving assets on a live map
The ultimate .NET Standard command line argument parser
🔡 Portable ASCII library - performance optimized (ascii) string functions for PHP.
Circular progress indicator for your macOS app
Use PHP Attributes to declare your GraphQL API
Q# libraries for the Quantum Development Kit
Cli shell plugin, the missing fuzzy tab completion feature for the z jump around command.
Send arbitrary IEEE 802.11 frames with Espressif's ESP32
Mostly experiments based on "Advances in financial machine learning" book
Awesome IIIF-related resources
Nimfa: Nonnegative matrix factorization in Python
Matching Engine for Limit Order Book in Golang
The repository host gives no description.
:ski: The classic PC Game SkiFree, but in JS.
java port of Underscore.js
.NET Stream Processing Library for Apache Kafka 🚀
Visualization and controlling application for Android
DFIRTrack - The Incident Response Tracking Application
Web-based suite of tools for administrators and developers to interact with the Force.com APIs
Repository for all things Node-RED and Docker related
Easily create previewable commands in Neovim.
PEP-484 stubs for django-rest-framework
a small C library for x86 CPU detection and feature extraction
A high performance, memory efficient, and scalable web server written in OCaml
go-functional is a library of iterators to augment the standard library
Modular autonomous driving platform running on the CARLA simulator and real-world vehicles.
U-Net Brain Tumor Segmentation
Assorted code ideas, unofficial MP FAQ, plus index to my other repositories.
Easily create data-driven web UI's for Node-RED. Single- & Multi-page. Multiple UI's. Work with existing web development workflows or mix and match with no-code/low-code features.
Interactively select and swap function arguments, list elements, and much more. Powered by tree-sitter.
Countries - ISO-639, ISO-3166 countries codes with subdivisions and names, ISO-4217 currency designators, ITU-T E.164 IDD phone codes, countries capitals, UN M.49 codes, IANA ccTLD countries domains, FIPS, IOC/NOC and FIFA codes, VERY VERY FAST, compatible with Databases/JSON/BSON/GOB/XML/CSV, Emoji countries flags and currencies, Unicode CLDR.
DeepfakeHTTP is a web server that uses HTTP dumps as a source for responses.
Automated Virtual Machine Generation and Cloaking for Cuckoo Sandbox.
Collect, Process, and Hunt with host based data from MacOS, Windows, and Linux
Detect non-inclusive language in your source code.
A Flutter library for gradually painting SVG path objects on canvas (drawing line animation).
An HTML DSL for Elixir and Phoenix
Fast, convenient JSON serialization and parsing in C++
Awesome SVG icon component for Svelte JS, built with Font Awesome icons. Based on Justineo/vue-awesome
Build JSON object for Slack Block Kit surfaces from JSX
An operating system written in D
A complete payment library for Elixir and Phoenix Framework
Standalone password candidate generator using the PRINCE algorithm
A highly configurable neovim startup screen
Adaptive query optimization for PostgreSQL
Redis cache library for Go
:rainbow: discover the beautiful programming language that makes front-end web apps a joy to build and maintain!
Fashion Detection in the Wild (Deep Clothes Detector)
Shopify’s Mobile Buy SDK makes it simple to sell physical products inside your mobile app. With a few lines of code, you can connect your app with the Shopify platform and let your users buy your products using Apple Pay or their credit card.
Lightweight, accessible, customizable and fast Dropdown Tree Select component for React
An opinionated starting point for awesome, reusable Swift 6 modules
tvOS controls and extensions that add parallax effect to your application.
The repository host gives no description.
Exception tracking and logging from Ruby to Rollbar