Gatherers library for Java Stream API
- java
- streams-api
- gatherer
- gatherers
Repository Index
47,133 repositories indexed
121–144 of 147 · Most stars
D bindings for the sokol headers (https://github.com/floooh/sokol)
- bindings
- d
- dlang
- sokol
Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg
- combinatorial-optimization
- community-detection
- dynamic-graphs
- edge-orientation
Stable sort algorithms and their stability proofs in Rocq
- mathcomp
- ssreflect
- sorting-algorithms
- mergesort
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
- coq
- randomized-algorithms
- probability
- monad
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
- coq-plugin
- large-numbers
- coq
- docker-coq-action
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
- coq
- vst
- compcert
- graph-algorithms
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
a NIF for libntru. NTRU is a post quantum cryptography algorithm.
- ntru
- cryptography
- encryption
- lattice-based-crypto
Composable Concurrency Abstractions for JavaScript. :railway_track: :rhinoceros: :train: :vertical_traffic_light:
- concurrency
- async-await
- reactive-programming
- streams
Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
- coq
- mustache-templates
- continuous-integration
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
NBAda - An Ada library of lock-free data structures and algorithms.
Stateful actors on Apache Flink 2.x and Java 21 — durable per-key state, exactly-once messaging, Kafka and Kinesis I/O, Kubernetes-native deployment. Continues the Apache Stateful Functions programming model on the modern Flink line.
- actor-model
- apache-flink
- distributed-systems
- event-driven
Go WorkerPool aims to control heavy Go Routines
- threadpool
- workerpool
- golang
- goroutine
Run DuckDB inside Excel VBA: pandas-style analytics via in-process SQL + native C bridge. High-speed Range/Array ingestion, Parquet/CSV/JSON I/O.
This library is a collection of functional idioms for ActionScript 3 based on Haskell and Coffeescript.
Elixir coordinate conversion library using OSGeo's PROJ.4
- geospatial
- distance-calculation
- coordinate-systems
- osgeo-proj
Implementation of the Rendezvous or Highest Random Weight (HRW) hashing algorithm in the Elixir Programming Language
- elixir
- elixir-lang
- distributed-systems
- hashing-algorithm
GameMaker bindings to the FMOD Studio API
- fmod
- gamemaker
- gamemaker-studio
- gamemaker-studio-2
Fast and flexible HTTP request parser for Go
- go-library
- golang
- http
- middleware
Extra contribution for mathcomp
- theorem-proving
- primality-test
- matroid
- rsa-algorithm
A production-quality expert-system shell, written in thoroughly modern Common Lisp.
Small-C Compiler, Assembler, Linker, Make tool, and Library for 16-bit MS-DOS.
- 16-bit
- 8086
- compiler
- devkit