Repository Index

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

• raft
• verdi
• coq
• proof

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

A Terminal user interface for maintaining an Arch Linux distribution.

• cylon
• aur
• bleachbit
• aur-helper

Thread-safe, persistent, immutable collections for the Crystal language

• crystal
• immutable-collections
• vector
• hash

Dropwizard + Hystrix Module.

TranslatedExamples of bot persona prompts

Quick Solution with Unstructured JSON data

• golang
• go
• json

LibraDB is a simple, persistent key/value store written in pure Go in less than 1000 lines for learning purposes.

• data-structures
• database
• go
• golang

cheek: a pico-sized declarative job scheduler

• cron
• jobs
• orchestration
• go

Go package for sharding databases ( Supports every ORM or raw SQL )

• go
• golang
• golang-library
• database-sharding

An intuitive remotely-accessible system performance monitoring and task management tool for servers and headless Raspberry Pi setups.

• sysadmin-tool
• system-monitoring
• performance-analysis
• distributed-computing

Reactive Streams for .NET

An NMOS (Networked Media Open Specifications) Registry and Node in C++ (IS-04, IS-05)

• nmos
• cpp
• cpp11
• sdk

DynaFlow: Learning Free-Form Multi-Agent Orchestration

Type safe SQL query builder and struct mapper for Go

• go
• type-safe
• sql
• query-builder

Logic programming in Swift

• swift
• kanren
• logic-programming
• solver

McReplay（麦回放）— Structural snapshots, change reports, and local MCP replay for McDonald's China integrations.

Automated S-expression conversion

Blockchain Indexing Engine

• polkadot
• substrate
• postgres
• indexing

Cram like framework for OCaml

A media server that holds no media. One install serves Plex, Jellyfin, Emby, Infuse, Swiftfin, Silo and Stremio apps, streaming the TMDB catalogue on demand from your debrid accounts or Usenet.

• debrid
• emby
• infuse
• jellyfin

Go implementation of C++ STL iterators and algorithms.

• datastructures
• algorithms
• stl

Homematic Device Configuration and Administration

• smarthome
• homematic
• configuration
• bidcos