Sign in

Repository Index

67,262 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

4,417–4,440 of 5,757 · Most stars

A community-curated knowledge hub and catalog for computer science, cybersecurity & software engineering books

A collection of extensions tools for SVG files, integrated into Microsoft Windows Explorer (for Windows 10 and 11) and a useful SVG Text Editor

  • windows
  • shell-extension
  • preview-pane
  • thumbnail-ha

Open-source ARM64 execution lab in safe Rust: run programs on three CPU engines and prove the results match real hardware.

  • aarch64
  • arm64
  • cpu-emulator
  • differential-testing

:ghost: GhostText plugin for Neovim with zero dependencies :tada: Supports neovim running inside WSL too! :partying_face: Windows/Linux/macOS supported out-of-the-box! :smile: (Other OSes need python3.6+ installed)

Ultra-low-cost robotic joint: a $1.5 FOC board inside a 1503 gimbal motor, plus a 3D-printed high-ratio precision gearbox. Cheap power, exact motion.

DDD+CQRS+Event-sourcing examples using EventFlow following CQRS-ES architecture. It is configured with RabbitMQ, MongoDB(Snapshot store), PostgreSQL(Read store), EventStore(GES). It's targeted to .Net Core 2.2 and include docker compose file.

  • eventflow
  • cqrs
  • cqrs-es-architecture
  • ges

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

  • raft
  • verdi
  • coq
  • proof

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