Bindings and ADO.NET Provider for DuckDB
- duckdb
- ado-net
- data-science
- duckdb-database
Repository Index
47,133 repositories indexed
289–312 of 862 · Most stars
Compiles C# code by first rewriting the syntax trees of LINQ expressions using plain procedural code, minimizing allocations and dynamic dispatch.
Mathematical Components
- coq
- ssreflect
- mathcomp
- coq-formalization
The Java microservice lib. QBit is a reactive programming lib for building microservices - JSON, HTTP, WebSocket, and REST. QBit uses reactive programming to build elastic REST, and WebSockets based cloud friendly, web services. SOA evolved for mobile and cloud. ServiceDiscovery, Health, reactive StatService, events, Java idiomatic reactive programming for Microservices.
- qbit
- java
- microservice
- websocket-support
Go bindings for Lua C API - in progress
Run ARM64 Linux userspace and desktop applications on iPhone and iPad.
- arm64
- debian
- interpreter
- ios
C++ promise/A+ library in Javascript style.
Functional programming and other utilities from the original "fsharpx" project
- hacktoberfest
Ramda Adjunct is the most popular and most comprehensive set of functional utilities for use with Ramda, providing a variety of useful, well tested functions with excellent documentation.
- ramda
- addons
- adjunct
- cookbook
Parallel Collectors is a toolkit easing parallel collection processing in Java using Stream API.
- parallelism
- parallel-streams
- stream-api
- hacktoberfest
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
Linq for list comprehension in C++
- linq
- c-plus-plus
- cpp
- cpp11
:spider_web: A Python interface to CGAL's meshing tools
- mesh
- mesh-generation
- mathematics
- engineering
The APL programming language (a subset thereof) compiling to Common Lisp.
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
- functional-programming
- category-theory
- functor
- monad
Utility library for functional programming in Lua
- lua
- underscore
- functional-programming
- table
A pure go General-purpose Task-parallel Programming Framework
Platform Abstraction C++ Libraries
A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
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
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
A slice of functional programming to chain ruby services and blocks, thus providing a new approach to flow control. Make them flow!
parser for Google ProtocolBuffers definition
A Promise library for Swift, based partially on Javascript's A+ spec