A Clojure library designed to provide hassle-free, ready to go gRPC experience without ton of preparations and Java code.
Repository Index
47,133 repositories indexed
97–110 of 110 · Most stars
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis
hnswlib.rb provides Ruby bindings for Hnswlib
- ruby
- gem
- nearest-neighbor-search
- approximate-nearest-neighbor-search
Run DuckDB inside Excel VBA: pandas-style analytics via in-process SQL + native C bridge. High-speed Range/Array ingestion, Parquet/CSV/JSON I/O.
Provides a type for working with optional variables, fields in structures, functions and database models.
This is an Ada 2012 package that provides an interface to BLAS.
crystal lang video for linux device helpers / bindings
Json-values allows Java developers to harness the power of persistent data structures when working with JSON data, simplifying complex data manipulation. It provides a purely functional approach to JSON
- functional-programming
- java
- json
- json-generator
crystal lang bindings for linux gpiod
This is an Ada 2012 package that provides a task pool system for jobs which each take the form of a single request that receives a single response.
FitEx is a Macro-Module which provides a bit of sugar for function definitions.
- macros
- elixir-lang
- elixir
- functional-programming
Devel::DTrace::Provider - Perl wrapper for libusdt
Crystal Lang HTTP Link Header Parser
Ada Posix Binding to Video 4 Linux, used for RPI