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

193–216 of 299 · Most stars

In-memory key-value server in Rust that speaks RESP, so redis-cli and Redis clients connect. Locks, rate limits, job queues and a change feed are single commands; Raft-based failover. Clients for Rust, .NET, Go, Java, Python and Node.js.

Drop your mods folder, a Prism or MultiMC instance or an .mrpack on Hopper and it answers what Horizon already does, what has a port and what is not there yet, then installs the rest.

  • horizon
  • minecraft-mods
  • modpack
  • modrinth

Is my mod on Horizon? Type a name or drop your whole pack and every mod gets one plain answer: built in, ported, works or not yet. What works installs in one click.

  • curseforge
  • fabric
  • horizon
  • minecraft-mods

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

RobustIRC - an IRC network without netsplits, implemented in Go using the Raft consensus algorithm

  • go
  • golang
  • irc
  • raft

BimCraft: BIM authoring. Parametric walls, doors and windows on levels and grids, with views, schedules, sheets and clash checks from one model.

Mission-control style spacecraft tracker in Rust: live ISS, Dragon, Hubble, JWST and Roman orbits, passes and schedules. Retro CRT themes, and a mode for Raspberry Pi + composite CRT.

The open suite for process plants. Historian, analytics, alarms, dashboards, models and documents, built to work with AI.