BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations
Repository Index
56,638 visible repositories in the index
361–384 of 556 · Most stars
Library for writing patterns to generate or process (a)musical sequences of mathematically (un)related (non-)compound values in Lisp.
- supercollider
- lisp
- synth
- sequencer
FANN (Fast Artifical Neural Network) binding in Crystal
- fann
- neural-network
- machine-learning
- crystal
jnigen is a small library that can be used with or without libGDX which allows C/C++ code to be written inline with Java source code.
- java
- jni
- gradle
Blazor.BFF.AzureAD.Template, Blazor WASM hosted in ASP.NET Core using Microsoft Entra ID BFF (server authentication)
- blazor
- aad
- azuread
- template
simple to use threading library
Reduce boilerplate in RxJava by abstracting chained operators like flatMap, concatMap, switchMap, or compose [STABLE]
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
This is the Ruby interface to LIBLINEAR (much more efficient than LIBSVM for text classification and other large linear classifications)
V binding for webview - a tiny cross-platform library to build modern cross-platform GUI applications.
- v
- webview
- gtk
- webkit
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
The Penn Locally Nameless Metatheory Library
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
ImGui Binding for FreePascal / Delphi with the latest version & docking
- freepascal
- imgui
- imgui-binding
- opengl3
Sciter component for Delphi
Apache Kafka Client for Delphi
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
Tinkerpop Blueprints Scala
WebAssembly wrapper to simplify fast math coding
TxQuery component is a TDataSet descendant component that can be used to query one or more TDataSet descendant components using SQL statements. It is implemented in Delphi 100% source code, no DLL required, because it implements its own SQL syntax parser and SQL engine.
OCaml bindings for Kafka
- ocaml-bindings
- kafka
- librdkafka
Cairo bindings for Common Lisp
A wrapper module for using spaCy natural language processing library from the Ruby programming language via PyCall
A wrapper/facade/whatever to enable/ease the use of jNetPcap (a libpcap based packet sniffing lib) in Clojure