gpool - a generic context-aware resizable goroutines pool to bound concurrency based on semaphore.
- concurrency
- workerpool
- goroutine-pool
- resource-pool
Repository Index
47,133 repositories indexed
49–72 of 72 · Most stars
Coroutines for GameMaker
- gamemaker
- gamemaker-studio-2
- gms2
- coroutines
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
Load Common Lisp code blocks from Org files
- literate
- programming
- lisp
- org
ABNF in, parser out
- abnf
- parsing
- parser-generator
- elixir
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
Simple Email Parser
Micromega tactics for Mathematical Components
- coq
- ssreflect
- mathcomp
- proof-automation
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp
promise semaphore
Experiments on workflow with common lisp
- emacs
- common-lisp
- slime
- test-automation
ImageMagick bindings (fork)
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm
Gulp plugin to transform ES6 to ES5.
- jstransform
- javascript
- gulp
- es6
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis
The repository host gives no description.
This javascript webapp converts GLSL code from shadertoy.com to Gamemaker GLSL ES as well as output other necessary code to run.
- shadertoy
- gamemaker
- text-processing
GameMaker bindings to the FMOD Studio API
- fmod
- gamemaker
- gamemaker-studio
- gamemaker-studio-2
One Go interface, five backends — filelock, flock, Redis, Postgres, etcd. Distributed locks with fencing tokens, semaphore mode, observability hooks, and TraceID propagation. Swap backends with one line.
- advisory-lock
- concurrency
- distributed-lock
- etcd
Single-header C++ JIT compiler/evaluator for mathematical expressions
- expression-evaluator
- expression-parser
- formula-engine
- formula-evaluator
ES6 arrow functions compiled to ES5 compliant code.
Json-values allows Java developers to harness the power of persistent data structures when working with JSON data, simplifying complex data manipulation. It provides a purely functional approach to JSON
- functional-programming
- java
- json
- json-generator
A Catspeak to Gamemaker VM bytecode Just-In-Time compiler.
TranslatedHMap (Happy Map) is a concurrency-safe Map implementation that supports generics. It aims to provide a simple and easy-to-use API, supports generic key-value pairs, and also adds methods for querying the length of the Map and for clearing the Map.
- safemap
- generic-map