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

2,857–2,880 of 3,423 · Most stars

Download Medium posts as clean Markdown, preserving structure, images, links, code blocks, and common embeds for plain Markdown or Jekyll workflows.

:arrows_clockwise: Easy to use finite state machine for Crystal classes

  • crystal
  • state-machine
  • aasm

Windows tool to display the internal structure of an MXF (Material eXchange Format) file

  • mxf
  • inspect
  • analyzer
  • broadcast

The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.

Deno Version Manager (DVM) - A lightweight, and powerful Deno Version Manager for MacOS, Linux, WSL, and Windows with Bash.

Open-source streaming SQL engine written in Rust using Apache Arrow and DataFusion. Supports continuous queries, temporal stream joins, tumbling/session windows, and CDC/Kafka connectors. Lightweight, embeddable, and sub-microsecond latency