A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
Repository Index
47,133 repositories indexed
4,633–4,656 of 11,502 · Most stars
TranslatedFrequently used tricks and tips for working with Git
- git
- git-tips
- tips
- git-cheatsheet
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
A task scheduler built with Go and Vue.js that allows users to specify recurring jobs via a simple YAML configuration file. The scheduler reads job definitions, executes commands at specified times using cron expressions, and passes in environment variables for each job.
⏲ macOS app to plan and organize through timezones.
Simple, easy to use Podcast player app written in Flutter and Dart.
This repository contains multiple approaches for generating global racetrajectories.
JSON-RPC 2.0 implementation over WebSockets for Node.js and JavaScript/TypeScript
- rpc-api
- rpc-framework
- rpc-client
- rpc-server
Provides helpers for time manipulation
- php
- time
- date
Design, simulate, validate, and operate within complex systems
Delay a promise a specified amount of time
API to consume REST services written in any programming language with support to Lazarus and Delphi
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
AGCircularPicker is helpful component for creating a controller aimed to manage any calculated parameter
- circular
- picker
- pickerview
- clockpicker
multimodal routing, geocoding, and map tiles
- routing
- routing-engine
- gtfs
- intermodal
Native x86-64 Windows loader for Bloodborne (CUSA03173) with native CPU execution, Win32 runtime, and shadPS4-based Vulkan GPU rendering. Based on deadinside28's bbport. Bring your own game dump, no game files are included.
- bloodborne
- native
- pc
- port
Animation library that mimics CSS keyframes when scrolling.
- typescript
- css
- css-animations
- keyframes
A neovim plugin for moving around your code in a syntax tree aware manner
- abstract-syntax-tree
- navigation
- neovim
- plugin
nvim-cmp source for vim's cmdline
- nvim-cmp
The simple, stupid batch framework for Java
- java
- batch-processing
- batch
Fast manager for Go-installed binaries in $GOBIN: update, export/import, and migrate toolsets across machines
- golang
- golang-tools
- updater
- command-line-tool
Easy CLI tool for making zero downtime schema changes and backfills in PostgreSQL
- postgresql
- postgres
- schema-changes
- online-schema-change
Neovim support for the Lean theorem prover
- leanprover
- neovim
- neovim-plugin
- lean
A control plane so parallel coding agents stop fighting over the same simulator.
- agents
- emulators
- simulators