A configuration as code language with rich validation and tooling.
- pkl
- java
- kotlin
- config
Repository Index
47,133 repositories indexed
1–18 of 18 · Most stars
Khronos-reference front end for GLSL/ESSL, partial front end for HLSL, and a SPIR-V generator.
DFA regular expression library & friends
- fsm
- regex
- lexer-generator
- regexp
Official GitHub repository for netCDF-Fortran libraries, which depend on the netCDF C library. Install the netCDF C library first.
- netcdf-fortran
- unidata
- netcdf-library
- dataset
ReScript bindings for Formidable's Universal React Query Library, urql.
- reasonml
- graphql
- reasonreact
- bucklescript
One Line to throttle, debounce and delay: Say Goodbye to Reactive Programming such as RxSwift and Combine.
A library of mechanised undecidability proofs in the Coq proof assistant.
Pure-Go SQL parser, formatter, linter and security scanner for 8 dialects. Zero-copy, race-free, with an LSP and MCP server.
Lightweight promises for iOS, macOS, tvOS, watchOS, and Linux
Crystal wrapper for the libsodium crypto API
- crystal
- cryptography
- nacl
- libsodium
Modern concurrency tools for Crystal
- crystal
- concurrent
Crystal bindings to the Zstandard (zstd) compression library
- crystal
- crystal-bindings
- zstd
- zstandard
A natural language parser for validating complex date ranges
Powerful pipes for TypeScript, that chain Promise and ADT for you 🚌 -> ⛰️ -> 🚠 -> 🏂 -> 🚀
- pipe
- pipeline
- kleisli
- ramda
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
Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]
- coq
- mathcomp
- modal-logics
- ctl
Open Street Map Public Transport Parser
- openstreetmap
- public-transport
- validator
- parser
The simple JSON parser with validation by condition
- golang
- go
- json-parsing
- validation