Stream api (kind of) implementation for go, other useful functions and packages to use go in a functional way
- filter-map-reduce
- go-library
- stream-api
- filter
Repository Index
47,133 repositories indexed
49–72 of 97 · Most stars
C++20 concurrency framework with no compromises. Excellent performance, powerful features, and simple syntax.
- coroutines
- cpp
- cpp20
- lock-free
[A]synchronous Functional Programming
- function-composition
- asynchronous
- transducers
- parallel
Floc: Orchestrate goroutines with ease.
- go
- parallel-programming
- goroutines
- goroutine-safe
Parallelism for Common Lisp
The GPars concurrency and parallelism framework for the JVM
Extension of the Elixir standard library focused on data stuctures, data manipulation and performance
- elixir
- persistent-vectors
- ordered-map
- util
A formalization of geometry in Coq based on Tarski's axiom system
state machine which runs code
- golang
- workflows
- state-machine
- actor-model
A Go port of the Java Streams API. Type-safe and functional Go Streams processing
- golang
- go
- stream-processing
- generics
Multi-Paradigm Pipeline Implementation
A realtime visual programming language for interactive media.
A shading language that can be compiled into GLSL ES 3.0
A simple scheduler for OCaml 5
- effects
- ocaml
- parallelism
- scheduler
A Music programming language. Translates source code into MIDI. Includes a player. Supports MIDI-Karaoke. Includes a MIDI analyzer.
- midi
- music-programming
- karaoke
- karaoke-player
Write LÖVE 2D projects with TypeScript
- love2d
- typescript
- typescript-declaration
- lua
A revolutionary new dataflow programming language for the AI era, with automatic parallelization and very high standards of static verification
PasMP - a parallel-processing/multi-processing library for Object Pascal
Decorator which checks whether the function is called with the correct type of parameters.
- python
- type-checking
- runtime-checking
- typechecking
Roleplay chat with customizable character cards, interactive charts, animated SVG graphics, local GIF stickers, web search, and ChatGPT subscription support. Powered by Rust, SolidJS, and WebAssembly.
Parallel worker and capacity limiting library for Erlang
A parallelized stream implementation for Elixir
- stream
- elixir
- parallelize
- parallelism
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq