Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

505–528 of 1,048 · Most stars

A reimplementation of Qt's moc using libclang. Contains both a drop-in remplacement, and a plugin for the clang compiler.

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

  • raft
  • verdi
  • coq
  • proof

Implementation of RAFT consensus in .NET core

  • raft-consensus-algorithm
  • raft
  • raft-protocol
  • raft-algorithm

CRAB (Clean Rebuild of Anything's Behavior): rebuild software from behavior, not source code. An MCP-powered toolkit for black-box observation, clean-room reimplementation, and behavioral verification.

  • clean-room-reimplementation
  • ai-agents
  • behavioral-testing
  • black-box-testing

This is an implementation sketch of the KinectFusion system described by Newcombe et al.