Make functions return a channel for parallel processing via go routines.
Repository Index
47,133 repositories indexed
361–384 of 440 · Most stars
Simple ActionN composition to use with RxJava [STABLE]
Mutex Server using WebSocket
- mutex
- server
- critical-section
- websocket
Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]
Micromega tactics for Mathematical Components
- coq
- ssreflect
- mathcomp
- proof-automation
Simple partial application for FuncN and ActionN on RxJava [STABLE]
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp
Software Transactional Locks
coinduction library for Coq
This is a Rust / Wasm client web app which is a task control center. You can create timed tasks for your devices which support tcp connection and execute tasks on time through its core.
Elixir macro for extracting or transforming values inside a pipe flow.
- elixir
- pipe
- error-handling
Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg
- combinatorial-optimization
- community-detection
- dynamic-graphs
- edge-orientation
Little utility D3 functions
Free Monads and useful constructions to work with them
utils for Go context
- golang
- go
- context
- async
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
- coq-plugin
- large-numbers
- coq
- docker-coq-action
Anonymous lambda literal in Common Lisp, respecting Scala
A PHP parser for Djot, a modern light markup language
Java scope functions inspired by Kotlin
- functional-programming
- java
- java-utils
- java-utilities
Trivial/Tagless Polytypic Functions
A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics
A utility library to write code in functional programming style in Javascript
- functor
- monads
- curry
- composition
Pure functions for slices.
- golang
- go
- generics
Kotlin recursion schemes with Arrow
- recursion-schemes
- kotlin
- functional-programming
- recursive-structures