🤠 Object property paths with wildcards and regexps 🌵
- nodejs
- javascript
- map
- json
Repository Index
47,133 repositories indexed
241–264 of 694 · Most stars
Bindings and ADO.NET Provider for DuckDB
- duckdb
- ado-net
- data-science
- duckdb-database
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
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
: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
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
A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
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
A lightweight yet powerful IoC dependency injection container for the Go programming language
- ioc
- ioc-container
- container
- dependency-injection