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
Repository Index
77,852 visible repositories in the index
745–768 of 950 · Most stars
Advanced Function composition to use with RxJava [STABLE]
Monads for Crystal
- monads
- crystal-language
- crystal
:shrimp: Rust cryptography library
- rust
- cryptography
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
Ordered-concurrently a library for concurrent processing with ordered output in Go. Process work concurrently and returns output in a channel in the order of input. It is useful in concurrently processing items in a queue, and get output in the order provided by the queue.
- concurrent
- golang
- golang-library
- data-science
Lisp dialect implemented with Crystal
Next Generation of Apex Development
- salesforce-apex
- code-generation
- annotation
- transpiler
A portable reader and bridge for interacting with Objective-C and Cocoa
Implementation of Finger Tree in JavaScript.
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
A Starcraft 2 replay parser written in pure Ruby
Crystal bindings to the Zstandard (zstd) compression library
- crystal
- crystal-bindings
- zstd
- zstandard
Crystal bindings to Chipmunk, a fast and lightweight 2D game physics library
- crystal
- chipmunk
- physics-engine
- bindings
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
Type aware promises for crystal lang
Just A Rust Wasm Blog
Functional Programming for EcmaScript(Javascript)
- functional-programming
- fp
- js
- es
Static & dynamic D bindings to GLFW, compatible with BetterC, @nogc, and nothrow.
- dlang
- glfw-bindings
- bindbc
- glfw
Automatically makes package.json projects (such as npm packages and node.js modules) compatible with Deno.
Easy, concurrent, asynchronous tasks in Swift.
- swift
- asynchronous
- dispatch
- concurrency
The Advanced Scripting Framework is a modern scripting for VBA: JavaScript-like syntax, classes with inheritance, map/filter/reduce, closures, regex. No COM, works everywhere. Transform Excel automation.
- interpreter
- language
- programming
- vba
Plugin for mypy to support zope.interface
- mypy
- zope
- plugin
- static-typing