An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
Repository Index
47,133 repositories indexed
13,633–13,656 of 22,578 · Most stars
CVPRW 2021: How to calibrate your event camera
A script to rehost your git repos in ipfs
Actively maintained fork of ahmedkhalf/project.nvim. Detects and chdirs to the project root, with its own UI, provides lualine component, supports oil.nvim, includes pickers for telescope, snacks, fzf-lua, and picker.nvim.
- neovim
- neovim-plugin
- nvim-telescope
- telescope-extension
This repository contains low-level bindings for WebGPU used in Evergine.
- webgpu
- netstandard
- dotnet-core
- csharp
Pass the baton from Claude Code or Codex to a local DeepSeek Harness. An MCP server that hands off tasks and brings the result back.
Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.
- python
- typechecking
- override
- pep484
A SDK for the creation of analysis tools without obtaining app source code in order to profile runtime performance, examine code coverage, and track high-risk behaviors of a given app on Android 5.0 and above.
- binary-instrument
- android
- malware-research
- reverse-engineering
Fast and storage-efficient spatial database engine for OpenStreetMap data
- database
- geospatial
- openstreetmap
- geodesk
Deploy static HTML/JS/CSS apps to Cloud Foundry
- v2b
Claude Code plugin: describe an object or show a photo, and Claude builds a clean 3D model in Blender, for games, the web, AR or 3D printing. It animates characters too. New in 3.0: Kiln Studio, a local page to view, check and fix your models with Claude.
- agent-skills
- blender
- blender-mcp
- claude-code
Open source Windows x64 PE packer and crypter. Compresses and encrypts executables with a custom virtual machine into a self extracting stub.
- compression
- packer
- pe-packer
- pe-compress
A react lib for building circular menus in a very easy and handy way.
- planet
- planet-menu
- circular
- circular-menu
Online web application-dashboard for report analyzing,running and online monitoring of load tests started with JMeter
- jmeter
- jmeter-plugin
- performance-testing
- performance-dashboard
Cryptographic primitives for Scala
Thread-safe, persistent, immutable collections for the Crystal language
- crystal
- immutable-collections
- vector
- hash
Your tiny todo list
Qiscus provide everything you need to power up your app with chats. And it's now made simple.
- chat
- android-library
- android-sdk
- chatting
A single-header, zero-allocation image filter library in C
- image-filters
- blur
- color-matrix
- grayscale
Sippy B2BUA is a RFC3261-compliant Session Initiation Protocol (SIP) stack and Back-to-back user agent (B2BUA) server software.
mutual layer for multiple agents from different environment or providers to work on same interface or device, toward the same final goal
- agent-supervision
- ai-agents
- ai-safety
- claude-code
UI Labs is a storybook plugin for Roblox
PyTorch Connectomics: segmentation toolbox for EM connectomics
- computer-vision
- neuroscience
- connectomics
- pytorch
This is a grunt task for adding a grunt task to compiler ES6 JS into ES3 JS using Traceur Compiler