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

3,817–3,840 of 5,737 · Most stars

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

  • raft
  • verdi
  • coq
  • proof

AI agents can now write 99% of the code. This changes what it means to be a developer. Our role shifts to knowing "what good looks like". To do that, we need completely new developer tools. Tendril is what replaces your IDE in an agentic era.

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

Real-time film emulation for Unreal Engine: 21 looks, grain, halation, lens effects, Blueprint controls and reusable presets.

Hyrax is a Ruby on Rails Engine built by the Samvera community. Hyrax provides a foundation for creating many different digital repository applications.

  • repository
  • sufia
  • rails
  • hydra-community

On-device Vision Model - a fully offline, free vision pipeline that gives text-only models (e.g. DeepSeek) image understanding and multilingual OCR through an OpenAI-compatible local API. Only tokens are needed: no API key, no subscription, no cloud cost. Recommended for native speakers of Chinese, English, Japanese and Korean.

Implementation of RAFT consensus in .NET core

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

A high-performance, high precision, zero allocation fixed-point decimal library for financial applications

  • golang
  • high-performance
  • zero-allocation
  • money