47,133 repositories indexed
25–45 of 45 · Most stars
Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable, auditable and maintainable. Like what you see? Don't forget to star! :star: ^^^
An asynchronous effect monad for PureScript
This is an engine that converts data of one structure to another, based on a configuration file which describes how. There is an accompanying syntax to make writing mappings easier and more robust.
Ruby wrapper for Apache Spark
A Simplest in-memory and Distributed Storage-Agnostic Message Queue for Your Concurrent Go Program
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
state machine which runs code
:incoming_envelope: A fast Message/Event Hub using publish/subscribe pattern with support for topics like* rabbitMQ exchanges for Go applications
Guile-SSH is a library that provides access to the SSH protocol for GNU Guile programs.
Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.
:droplet: Publish/Subscribe utility module
Flowgraph package for scalable asynchronous system development
MySQL Backed Locking Primitive
a tool for handling file uploads simple
Generalized folds, unfolds, and traversals for fixed point data structures
Functional Programming for EcmaScript(Javascript)
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.
Implementation of the Rendezvous or Highest Random Weight (HRW) hashing algorithm in the Elixir Programming Language
Bindings and implementation for mutable JavaScript ArrayBuffers.
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.
Extra contribution for mathcomp