Ada binding for the Pebble Time smartwatch
Repository Index
60,121 visible repositories in the index
529–552 of 577 · Most stars
Composable Concurrency Abstractions for JavaScript. :railway_track: :rhinoceros: :train: :vertical_traffic_light:
- concurrency
- async-await
- reactive-programming
- streams
Primitive Threads and Concurrency Operations for Coalton
A Clojure library designed to provide hassle-free, ready to go gRPC experience without ton of preparations and Java code.
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
A Simple DSL to create Directory Tree with Text Files
- groovy
- dsl
- jvm
- directory
hnswlib.rb provides Ruby bindings for Hnswlib
- ruby
- gem
- nearest-neighbor-search
- approximate-nearest-neighbor-search
Python bindings for Mosaic.
- plotly-dash
- streamlit
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
HTPL is a programming language based on HTML
- programming-language
- htpl-compiler
- html
Go WorkerPool aims to control heavy Go Routines
- threadpool
- workerpool
- golang
- goroutine
A string argument parser that understands quotes and backslashes
A Ruby regex script for port ruby code to crystal easier, reduce friction.
📅 An esoteric programming language for no reason whatsoever.
- esoteric-language
- esoteric-programming-language
- esolang
- esolangs
Ada interface to the readline library
MLIR Toolkit in Elixir and Zig.
Implementing promises in Ada. Type-safe, efficient, thread-safe, ...
Experiment to rewrite Python into PyTeal using RedBaron
Delphi header translation for Microsoft XmlLite
Crystal C bindings for Augeas
- crystal
- crystal-lang
- bindings
- augeas
DataView on ArrayBuffer input stream support for purescript-parsing
- purescript-parsing
- purescript
- parsing
- arraybuffer
Ada BFD is an Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD.
A reimplementation of the FIRST Robotics WPILib libraries in Scala for Scala Native support
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