Repository Index

The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]

• coq
• refinement
• mathcomp
• coq-platform

Gowl is a process management and process monitoring tool at once. An infinite worker pool gives you the ability to control the pool and processes and monitor their status.

• golang
• go
• pooling
• pool

Improved Go Syntax (transpiler)

• go
• golang

Limits the number of goroutines that are allowed to run concurrently

• concurrency
• golang
• goroutine

A setf like macro for functional programming

Structured Concurrency in Go

• concurrency
• nursery
• goroutines
• golang

pico sized functional library

• javascript-array
• functional-programming
• javascript
• es6

A simple wrapper for raylib in V

Yet another routes handling utility on top of Hunchentoot

• lisp
• web
• hunchentoot
• routing

Functional programming in Groovy

Flowgraph package for scalable asynchronous system development

• dataflow
• scalable
• distributed

An elixir module for parallel execution of functions/processes

Generate Elm types, encoders, and decoders from Haskell types

Translatedgo routine control, abstraction of the Main and some useful Executors. If you don't know how to manage Goroutines, use it

• goroutine
• crontab
• job-scheduler
• retry

Natural 🌿 effect system that fits TypeScript

• algebraic-effects
• computational-effects
• effect-system
• extensible-effects

Highly concurrent drop-in replacement for bufio.Writer

• golang
• concurrent
• io
• multithreading

Functional programming framework for Go.

A Bitcoin Script Interpreter and Debugger in Scala

• scala
• bitcoin
• cryptocurrency

Compilation and Verification of Data-Centric Languages

• verification
• query-language
• query-engine
• functional-programming

A Coreader-like Dependency Injection μFramework

• dependency-injection
• coreader
• functional-programming
• ios

BEAM friendly spinlocks for Elixir/Erlang

• concurrency
• concurrent-data-structure
• parallel-programming

An asynchronous event-driven network framework( port netty ) written in D.

• dlang
• network
• event-driven
• asynchronous

Pipelines using goroutines

• pipeline
• go
• concurrency

Julia wrapper around nettle cryptographic hashing/encryption library providing MD5, SHA1, SHA2 hashing and HMAC functionality, as well as AES encryption/decryption

• cryptography
• nettle
• encryption
• hash-algorithms