Statically typechecks a common SQL dialect and translates it to various RDBMS backends
Repository Index
80,339 visible repositories in the index
121–144 of 238 · Most stars
An implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework. With performance, quality, and stability proved by years in the production.
- cpp
- cplusplus
- cplusplus-17
- actor-model
:musical_note: strongly-timed musical programming language
- language
- composition
- programming-language
- synthesis
Emits events in Go way, with wildcard, predicates, cancellation possibilities and many other good wins
- emitter
- golang
Tulip Node is the official node.js wrapper for Tulip Indicators. It provides over 100 technical analysis overlay and indicator functions.
🥃 Functional Algebraic Data Types
- functional-programming
- monads
- monoids
- utilities
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
- clojure
- category-theory
- clojure-library
- monad
Go bindings for H3, a hierarchical hexagonal geospatial indexing system
- spatial-indexing
- geospatial
- uber
- h3
XSD (XML Schema Definition) parser and Go/C/Java/Rust/TypeScript code generator
- xsd
- xsd-schema
- xml
- xml-parser
WebView4Delphi is an open source project created by Salvador Díaz Fau to embed Edge/Chromium-based browsers in applications made with Delphi or Lazarus/FPC for Windows.
- windows
- delphi
- lazarus
- fpc
a C# embeddable lexer and parser generator (.Net core)
- dot-net
- csharp
- parser
- lexer-generator
A fast globbing library for .NET / .NETStandard applications. Outperforms Regex.
- glob
- glob-pattern
- globbing-library
- csharp
A CSS-in-Rust styling solution for WebAssembly Applications
PyStan, a Python interface to Stan, a platform for statistical modeling. Documentation: https://pystan.readthedocs.io
Java type safe statically compiled mustache
- annotation-processor
- java
- mustache
- template-engine
Clinical Quality Language (CQL) is an HL7 specification for the expression of clinical knowledge that can be used within both the Clinical Decision Support (CDS) and Clinical Quality Measurement (CQM) domains. This repository contains complementary tooling in support of that specification.
- cql
- clinical-quality-language
- cds
- java
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Practical generic programming for F#
- generic-programming
- fsharp
An OTP Process Pool Application
A lightweight library for writing concurrent programs in Go using the Actor model.
- actor
- go-actor
- concurrency
- concurrent-programming
A best-of-breed language with a holistic approach to moving the needle
A pipe-like function to verticalize your JavaScript code
A GTK / Fortran binding, and its documentation (in the Wiki tab).
Formal verification for OCaml, with Rocq
- ocaml
- compiler
- formal-verification
- rocq