Functional programming and other utilities from the original "fsharpx" project
- hacktoberfest
Repository Index
47,133 repositories indexed
289–312 of 885 · Most stars
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
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
🏹 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
Powerful multi-threaded coroutine dispatcher and parallel execution engine
- coroutines
- parallel
- multi-threading
- cpp
Echarts 5 for R
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 lightweight ClojureScript abstraction over ReactJS
A lightweight yet powerful IoC dependency injection container for the Go programming language
- ioc
- ioc-container
- container
- dependency-injection
Elegant error/exception handling in Elixir, with result monads.
- pipeline
- monad
- macros
- elixir
webgpu.h - C version of the JS API, for both native and Wasm. A multi-vendor standard between Dawn/Emdawnwebgpu and wgpu-native. Designed primarily for binding into higher-level languages.
An Optional Type System for Lua
:musical_note: strongly-timed musical programming language
- language
- composition
- programming-language
- synthesis
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
- algebraic-data-types
- optics
- functional-programming
- algebra
This project brings FlatBuffers (an efficient cross platform serialization library) to Swift.
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
- coq
- metaprogramming
- coq-formalization
- rocq