Relation algebra library for Coq
Repository Index
47,133 repositories indexed
7,849–7,872 of 10,109 · Most stars
AI native documentation framework that just works, powered by your favorite stack
Ada-language framework
- ada
- ada-language
- arm
- avr
A drop-in modernization of jmoiron/sqlx that fixes lexer bugs, automates IN expansion, and adds pluggable hooks — built for Go 1.21+.
Safe and easy way to use FileManager as Database
- iamrsalman
- filemanager
- swift
- ios
Library and tool for reading, writing, and processing transit data
- gtfs
- gtfs-realtime
- transit
- mobility
Lightweight Java library for reading and writing fixed-width / fixed-length flat files using annotations on POJOs — for banking, payroll, EDI, mainframe, and batch integrations.
- annotations
- banking
- batch-processing
- edi
A component based game engine for AS3. Master version is currently 0.4.3. Please note, the dev branch is currently under heavy development for 0.5 and should be considered unstable. There will be a few breaking changes.
OCaml library for reporting metrics to a Prometheus server
- metrics
- mirageos
- ocaml
Plugin component for PlayCanvas which enables support for Spine animations.
Go library for the Spotify Web API
Configurable Elixir mix task to watch file changes and run the corresponding command.
Sound manager with tag support for LÖVE.
CIDR library for Elixir that is compatible with Erlang's :inet and supports both IPv4 and IPv6
A versatile, fully open-source pipeline to extract phenotypic measurements from plant images
- deep-learning
- plant-phenotyping
- nextflow
- scikit-image
Zero-overhead eBPF process tracer for Linux malware triage and incident response. Traces syscalls, network, and file events per-process without strace overhead.
GTFS-ride is an open standard for storing and sharing fixed-route transit ridership data.
- transit
- transportation
- public-transportation
- ridership
Utilities for using Tinkerpop3 via the node-java API in Typescript
A repository containing the code for the MVP & SUGCON Sites, powered by XM Cloud
- xm-cloud
- netcore
- nextjs
Render React components in Ember
Compile time internationalization for Elm supporting multiple input and output formats
Foreman port to crystal.
Preact components for easily implementing basic CSS animations and transitions
- preact
- transition
- transition-group
- animation
Deno Version Manager (DVM) - A lightweight, and powerful Deno Version Manager for MacOS, Linux, WSL, and Windows with Bash.
- deno
- version-manager
- dvm
- deno-version-manager