Compilation and Verification of Data-Centric Languages
- verification
- query-language
- query-engine
- functional-programming
79,350 visible repositories in the index
1,465–1,488 of 1,955 · Most stars
Compilation and Verification of Data-Centric Languages
A Coreader-like Dependency Injection μFramework
BEAM friendly spinlocks for Elixir/Erlang
Go bingings for GD (https://libgd.github.io/)
An asynchronous event-driven network framework( port netty ) written in D.
Parse placeholder and wildcard text commands
Julia wrapper around nettle cryptographic hashing/encryption library providing MD5, SHA1, SHA2 hashing and HMAC functionality, as well as AES encryption/decryption
Node module that is bridged with the Java Hapi HL7 library.
Pipelines using goroutines
Pascal binding for SFML
Binding to Cairo, a 2D Vector Graphics Library.
Translates GDScript code to C#
Common Lisp CFFI wrapper around the DuckDB C API
Python bindings for the Coq interactive proof assistant
Pure Go Shader Compiler — WGSL to SPIR-V, MSL, GLSL, HLSL, DXIL. Zero CGO.
Macro for tapping into a pattern match while using the pipe operator
OCaml bindings to MariaDB, supporting the nonblocking API
Keras4Delphi is a high-level neural networks API, written in Pascal with Python Binding
Vulkan bindings for Common Lisp.
A function type to dispatch on types instead of classes with partial support for dispatching on optional and keyword argument types.
Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml
ABNF in, parser out
Julia interface to WebGL using Three-js custom elements and Patchwork.jl
Common Lisp/CFFI bindings for the Vulkan API.