Export runs from Strava into GeoJSON.
Repository Index
47,133 repositories indexed
1,297–1,320 of 1,511 · Most stars
Invoke multiple commands, running in parallel / sequential, matching npm scripts
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect
A PowerToys plugin to search and copy SVG logos from SVGL.
- powertoys
- powertoys-run
- powertoys-run-plugin
- svgl
🚀 boilerplate for starting projects in next.js
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
- coq
- randomized-algorithms
- probability
- monad
Lightweight AI agent runtime for Go. Define multi-agent crews in YAML, run them with goroutines and channels, and let the runtime handle scheduling, parallelism, retries, and observability — without leaving the Go ecosystem.
Template of yew project, using tailwind and webpack for css, trunk for build and serve, deployable as is for github.io
The minimal set of polyfills needed to run Aurelia.
Typed, validated config from process.env, .env files, or any object, on Node, Bun, Deno, Cloudflare Workers, and the browser. No runtime dependencies.
- config
- decorators
- dotenv
- env
Web Anchor provides type-safe, testable and flexible, runtime-generated access to web resources.
- c-sharp
- httpclient
- json
- api-client
Groovy plugin for Light Table
Run a release with one simple command
Runtime guardrails for Claude Code. Auto-approve what's safe, gate what's risky, block what's dangerous. Dual enforcement, full audit trail. MIT.
Run a Ripple XRP (rippled) validator in a Docker container
- xrp-ledger
Simple ELF runtime packer for creating self-protecting binaries
Detect whether a site is running behind Cloudflare.
- cloudflare
- waf
- detection
- nodejs
Benchmark recording of an ember app with running with 2 versions of Ember.
Utilities for running Common Lisp on CI platforms
- common-lisp
- ci
- travis-ci
- circleci
Extensible API Gateway written in Go. Load custom plugins to extend functionality.
- golang
- api-gateway
- go
- extensible
operational issues about the Postpass instance run on postpass.geofabrik.de
Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.
- ada
- civilization
- learning-by-doing
- learning
Generic Task behavior that helps encapsulate errors and recover from them in classic GenStage workers.
- elixir-lang
- elixir
- hex
- package
This cli utility helps you harness the srtool docker image witout breaking a sweat.