A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
Repository Index
47,133 repositories indexed
3,745–3,768 of 8,798 · Most stars
An implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework. With performance, quality, and stability proved by years in the production.
- cpp
- cplusplus
- cplusplus-17
- actor-model
An ancient Chinese divine beast, now reincarnated as an enterprise-grade VibeCoding assistant.
A non-backtracking NFA/DFA-based Perl-compatible regex engine matching on large data streams
Python library to parse, analyze and visualize Counter-Strike 2 data
- counter-strike-global-offensive
- counter-strike
- esports
- sports-analytics
This library uses ARKit Face Tracking in order to catch user's smile.
Unified configuration for systems, packages, modules, shells, templates, and more with Nix Flakes.
JSON-RPC 2.0 implementation over WebSockets for Node.js and JavaScript/TypeScript
- rpc-api
- rpc-framework
- rpc-client
- rpc-server
SwiftOverlays is a Swift GUI library for displaying various popups and notifications
- notifications
- swiftoverlays
- cocoapods
- swift
ASP.NET Core 3.1 / React SPA Template App
- dotnet-core
- asp-net-core
- react-template
- reactjs
Library for helping print things prettily, in Clojure - ANSI fonts, formatted exceptions
- clojure
- feedback
- ansi-colors
An elegant Python interface for visualization on the web platform to interactively generate insights into multidimensional images, point sets, and geometry.
- itk
- insight-toolkit
- jupyter
- jupyter-widget
Animation library that mimics CSS keyframes when scrolling.
- typescript
- css
- css-animations
- keyframes
Fast CSV parser and writer for Modern C++
- csv-parser
- single-threaded
- mit-license
- header-only
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
Super lightweight async HTTP server library in pure Swift runs in iOS / MacOS / Linux
Lavacharts is a graphing / charting library for PHP 5.4+ that wraps Google's Javascript Chart API.
- php
- graphing
- charting-library
- composer
Anima is chainable Layer-Based Animation library for Swift5.
- coreanimation
- chainable-animations
Apache Cordova Status Bar Plugin
- cordova
- library
- objective-c
- java
Demux and mux MPEG Transport Streams (.ts) natively in GO
- golang
- golang-library
- mpeg
- mpegts
TinyTDS - Simple and fast FreeTDS bindings for Ruby using DB-Library.
- sql-server
- freetds
- sql
- ruby
A Swift micro library for generating Sunrise and Sunset times on device, requiring no network access.
- swift
- sunrise
- sunset
- ios
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.
- chart-fx
- java
- charting-libraries
- javafx
A Promise library for Swift, based partially on Javascript's A+ spec