PyPI · npm62Moderatehealth index

gowrishankar-infra/velaris-langA programming language where signatures declare types, effects, and machine-checked promises — proven with Z3, compiled with LLVM. Built for trusting AI-written code.
Python · HTML★ 3↓ 9,055/moSep 15, 2026
Go★ 3Sep 17, 2026
Makefile · Shell · Go★ 3Sep 19, 2026
Python★ 3Sep 18, 2026
Go · Makefile★ 3Sep 18, 2026
npm · crates.io50Moderatehealth index
Rust★ 3↓ 502/moSep 18, 2026
Go★ 3Sep 20, 2026
crates.io34At Riskhealth index
Rust★ 3↓ 212/moSep 18, 2026
Svelte · JavaScript · TypeScript★ 3↓ 4,228/moSep 18, 2026
Go★ 3Sep 19, 2026
npm57Moderatehealth index
TypeScript★ 3↓ 5,006/moSep 18, 2026
RubyGems69Goodhealth index
Ruby · Makefile★ 3Sep 18, 2026
Go · Makefile★ 3Sep 19, 2026

hedzr/isgo lib to provide a set of minimal environ container and detectors
Go★ 3Sep 19, 2026
Go · PyPI56Moderatehealth index
Python · Go★ 3Sep 19, 2026
PyPI16Criticalhealth index
Jupyter Notebook★ 3Sep 18, 2026

higebu/rfc-mcpMCP server for IETF RFCs: full-text search, per-section retrieval, cross-references and errata over a local SQLite/FTS5 corpus
Go★ 3Sep 20, 2026

hjames9/grpcwebcurlgrpcwebcurl is a command-line tool similar to grpcurl but for gRPC-Web protocol
Go★ 3Sep 19, 2026
npm57Moderatehealth index
Scala · HTML★ 3Sep 18, 2026
npm56Moderatehealth index
C · JavaScript★ 3↓ 5,602/moSep 15, 2026
npm54Moderatehealth index
C · JavaScript★ 3↓ 5,897/moSep 15, 2026
npm59Moderatehealth index
C · JavaScript★ 3↓ 5,327/moSep 15, 2026
JavaScript · C★ 3↓ 130M/moSep 16, 2026
npm54Moderatehealth index
C · JavaScript★ 3↓ 5,762/moSep 15, 2026
npm50Moderatehealth index
JavaScript★ 3↓ 16.6K/moSep 15, 2026
JavaScript★ 3↓ 9,744/moSep 15, 2026
PyPI62Moderatehealth index
Python★ 3↓ 46/moSep 20, 2026
Go★ 3Sep 19, 2026
Packagist69Goodhealth index
PHP★ 3↓ 4,831/moSep 16, 2026

hyj28/unringReversible side effects for AI coding agents — snapshot files, hold PostgreSQL writes, and review outbound actions before they become permanent.
Go★ 3Sep 19, 2026