Repository Index

Finite sets, finite maps, multisets and generic sets

• coq
• ssreflect
• mathcomp
• finite-sets

A micro workers class that easily manages a pool of threads to optimise simultaneous jobs and jobs endings, for MicroPython (used on Pycom modules & ESP32)

• pycom
• micropython
• lopy
• wipy

Advanced Developer Async Programming Toolkit

• game-engine
• event
• framework
• async

Ada binding to the SFML library

• ada
• binding
• sfml
• multimedia

Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multithreading, and safely sharing state between threads.

OCaml library for forking child processes to perform work on multiple cores

Hands is a process controller used to control the execution and return strategies of multiple goroutines.

TypeScript multimethods inspired by Clojure multimethods

• clojure
• typescript
• multimethod
• method

Unified Java API for multiple decompilers (Fernflower, Vineflower, Procyon, CFR, JD-Core, JADX)

• bytecode
• cfr
• decompilation
• decompiler