C++11 thread-safe container for sharing data between threads (synchronized queue)
- cpp
- multithreading
- thread-safe
- channel
Repository Index
88,573 visible repositories in the index
553–576 of 1,042 · Most stars
: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
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
- coq
- metaprogramming
- coq-formalization
- rocq
A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
- programming-language
- lisp
- malbolge
- esoteric
RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-suggestions to submit ideas
- fsharp
- rfc
- language-design
- programming-language
A thin Java wrapper to access the Steamworks API
- java
- bindings
- steamworks
An opinionated F# Library for error handling
- fsharp
- error-handling
- railway-oriented-programming
- category-theory
java port of Underscore.js
- java
- underscore
- javascript
- functional-programming
A Parsing Expression Grammar (PEG) module, using the D programming language.
go-functional is a library of iterators to augment the standard library
- go
- golang
- functional-programming
http://hopac.github.io/Hopac/Hopac.html
- concurrent-programming
- csp
- actors
- cml
A StreamLike, Immutable, Lazy Loading and smart Golang Library to deal with slices.
- functional-programming
- lazy-evaluation
- golang-library
- golang
⚙️ Golang functional utility library with syntactic sugar. It's like lodash, but for Go
- golang
- functional-programming
- utility-library
- go
Interactive console for Crystal programming language
- crystal
- repl
A lightweight Lua VM for the browser
A macro to define clojure functions with parameter pattern matching just like erlang or elixir.
- clojure
- defun
- pattern-matching
- clojure-functions
🥃 Functional Algebraic Data Types
- functional-programming
- monads
- monoids
- utilities
Functional Reactive Programming domain-specific language for efficient hybrid systems
- haskell
- frp
- yampa
- game
Build fast, composable, and type-safe grammars and parsers in Dart.
- parser
- parser-combinator
- parsing-expression-grammar
- parser-library
A simple wrapper around libpcap for the Go programming language
Stream utilities for Java 8
A modern supercompiler for call-by-value functional languages
ChoiceScript is a language for developing multiple-choice games.