Sublime text 3 Support for the Vlang Programming Language
- vlang
- sublime-text-3
- syntax
Repository Index
57,138 visible repositories in the index
1,201–1,224 of 1,307 · Most stars
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm
The E2E AI testing tool | No ML Overhead
A concurrent toolkit to help execute funcs concurrently in an efficient and safe way. It supports specifying the overall timeout to avoid blocking.
- golang
- go
- goroutine
Define a Go struct. Get a CLI that an agent can discover, call, sandbox, and debug. Flags, env vars, config files, validation, JSON Schema, MCP, structured errors, and WASM. Built on Cobra.
- cli
- cobra
- flags
- viper
A Node Red node to persist data over Node Red restarts.
- node-red
🤔📈 Atlas | The unified report library.
- atlas
- documentation-database
- business-intelligence
- library
proof script associated to tutorial material
Declarative data quality engine. Define checks in YAML, run anywhere.
- airflow
- anomaly-detection
- data-contracts
- data-quality
A Python package for automating VideoIPath configuration workflows.
- videoipath
- media-over-ip
- python
- configuration-management
Logi is light-weight C++ Vulkan abstraction framework, which attempts to bridge the gap between previous graphics APIs and Vulkan by making API easier to use while still preserving Vulkan semantics and introducing as little overhead as possible.
- vulkan
- vulkan-wrapper
- vulkan-library
- vulkan-cpp
OpenStreetMap Boundaries for the World!
- countries
- gis
- openstreetmap
- osm
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis
Elixir/Erlang bindings for lexborisov's myhtml
Live stream over ATProto
- atproto
- hls
- livestream
Publish data from the bme680 sensor over MQTT using micropython
- pycom
- wipy
- micropython
Unsplash API client for Elixir
🎮 Update your pinned gist to show HoYoverse gameplay stats
- genshin-impact
- github-actions
- honkai-starrail
- hoyolab
A multi mars rover implementation in Elixir.
- elixir
- game
- multiplayer
Client extension for interacting with a host over SSH as part of your k6 test.
A mini SDI-12 implementation for getting sensor info over RS-485
- micropython
- sdi-12
- sensor
- pycom
Cordova plugin to watch and recover after a broken Meteor Hot Code Push.
A cross-platform unit testing tool for MOS 6502 assembly
- 6502
- 6502-emulation
- unit-testing
- json-schema
UV-first benchmark for protein-ligand docking with reproducible annotation, pocket similarity, and HPC workflows.
- benchmark
- bioinformatics
- cheminformatics
- computational-chemistry