The home of the CUE language! Validate and define text-based and dynamic configuration
- data
- validation
- configuration
- kubernetes
Repository Index
67,762 visible repositories in the index
1–9 of 9 · Most stars
Database Markup Language (DBML), designed to define and document database structures
- dbx
- database-schema
- dbml
GitQL is a extensible SQL-like query language and SDK to perform queries on various data sources such .git files with supports of most of SQL features such as grouping, ordering and aggregation and window functions and allow customization like user-defined types and functions
Fast ML inference & training for ONNX models in Rust
- ai
- inference
- machine-learning
- onnxruntime
A macro to define clojure functions with parameter pattern matching just like erlang or elixir.
- clojure
- defun
- pattern-matching
- clojure-functions
C++20 Microservice Bootstrapping Framework
- threads
- event-loops
- boost
- cpp20
A refined core library for D programming language. The module has concurrency / collections / event / io / logging / text / serialization and more.
- event-driven
- asynchronous
- io
- concurrency
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
Refinement and functional value types for Java 8+
- functional-programming
- java
- java8
- maven-central