A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
Repository Index
55,140 visible repositories in the index
14,137–14,160 of 29,573 · Most stars
Platform Abstraction C++ Libraries
An open-source painting app for Android tablets, Windows and Linux: pressure-sensitive brushes, layers, adjustments, animation and 3D painting on its own Rust engine and GPU renderer.
ListPlaceholder is a swift library allows you to easily add facebook style animated loading placeholder to your tableviews or collection views.
- swift
- tableview
- cocoapods
TypeScript-STL (Standard Template Library, migrated from C++)
- typescript
- stl
- container
- collection
OpenAPI/Swagger 3.0 Parser and Swift code generator
Composable helpers for declarative templating in Ember
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
This repo contains materials for use in a TensorFlow workshop.
Go implementation of the A* search algorithm
Flexible Mustache templates for Swift
- template-engine
- mustache
PEframe is a open source tool to perform static analysis on Portable Executable malware and malicious MS Office documents.
Airtime is Sourcefabric’s open source radio software for scheduling and remote station management. Airtime provides a reliable audio playout with sub-second precision, an improved interface with modern usability features, advanced user management supporting roles and a Google-style calendar to schedule and move shows and playlists.
TranslatedFrequently used tricks and tips for working with Git
- git
- git-tips
- tips
- git-cheatsheet
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 non-backtracking NFA/DFA-based Perl-compatible regex engine matching on large data streams
A Protocol-Oriented NotificationCenter which is type safe, thread safe and with memory safety
This repository contains multiple approaches for generating global racetrajectories.
Design, simulate, validate, and operate within complex systems
Open-Source Slack/Linear/Notion Alternative. The only workspace you will ever need.
- alternative
- linear
- notion
A category on NSString to convert Emoji Cheat Sheet codes to their equivalent Unicode characters
JSON-RPC 2.0 implementation over WebSockets for Node.js and JavaScript/TypeScript
- rpc-api
- rpc-framework
- rpc-client
- rpc-server
A modern, feature-rich, databaseless flat-file wiki platform built with Go.
- access-control
- collaboration
- docker
- documentation
Automated, pre-built packages for Wayland (sway/wlroots) tools for NixOS. [maintainers=@colemickens, @Artturin]