Functional programming and other utilities from the original "fsharpx" project
- hacktoberfest
Repository Index
81,337 visible repositories in the index
937–960 of 1,981 · Most stars
A pure-Go JavaScript runtime built for running many small plugin sandboxes fast.
- golang
- javascript
- sandbox
Lisp/Hiccup style templating for Facebook's React in ClojureScript.
- react
- clojurescript
- hiccup
- template
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
: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.
The reference P4 software switch
- p4
- bmv2
- p4lang
🏹 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
PHP library for parsing plain text email content.
Powerful multi-threaded coroutine dispatcher and parallel execution engine
- coroutines
- parallel
- multi-threading
- cpp
Nemerle language. Main repository.
A pure go General-purpose Task-parallel Programming Framework
A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
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
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
URSA - RSA public/private key OpenSSL bindings for Node.js
Elegant error/exception handling in Elixir, with result monads.
- pipeline
- monad
- macros
- elixir
A lightweight yet powerful IoC dependency injection container for the Go programming language
- ioc
- ioc-container
- container
- dependency-injection
C++ bindings/wrapper for SDL2