An advanced, but easy to use, platform for writing functional applications in Java 8.
- functional-programming
- reactive-streams
- monoid
- streams
Repository Index
47,133 repositories indexed
193–216 of 694 · Most stars
Functional programming style pattern-matching library for C++
- pattern-matching
- pattern
- variant
- visitor
Password hashing specification for the Elixir programming language
- argon2
- bcrypt
- pbkdf2
- elixir
Helpfully Functional Go - A useful collection of Go utilities. Designed for programmer happiness.
Derives and generates mundane golang functions that you do not want to maintain yourself
- golang
- generator
- deriving
- functional-programming
[INACTIVE] Avian is a lightweight virtual machine and class library designed to provide a useful subset of Java's features, suitable for building self-contained applications.
- java
- jit-compiler
- openjdk
- jvm
A Swift Reactive Programming Kit
Python Type Checker / Language Server
- autocompletion
- language-server-protocol
- mypy
- python
Probably the fastest coroutine lib in the world!
- libos
- iouring
- net-library
- fs-library
Functional, persistent, off-heap, high performance data structure
🎤 a simple audio programming language implemented in JS
- livecoding
- programming-language
- audio
- javascript
A functional programming library for TypeScript/JavaScript
- fp
- typescript
- lazy
- concurrency
Rust virtual machine and JIT compiler for eBPF programs
- jit-compiler
- ebpf
- ebpf-programs
- rust
Emgo: Bare metal Go (language for programming embedded systems)
SimpleITK: a layer built on top of the Insight Toolkit (ITK), intended to simplify and facilitate ITK's use in rapid prototyping, education and interpreted languages.
- simpleitk
- c-plus-plus
- swig
- registration
Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + gno.land: a blockchain for timeless code and fair open-source.
- gno
- gnoland
- gnolang
- bft
A compatibility layer for event-driven abstractions
- stream-processing
- future
- clojure
- async
ChucK Music Programming Language
F(unctional) util(ities). Resistance is futile.
a work-in-progress Ruby compiler, written in Ruby and C++
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
- coq
- mathematics
- unimath
- coq-library
:clapper: Tame async code with battle-tested promises
- promise
- swift
- async
- ios
Tools for transparent data transformation
- term-rewriting
- logic-programming
- unification
- pattern-matching
Improve the readability of R code with the pipe
- r
- pipe