Rate limiter and overload protection for erlang application
Repository Index
47,133 repositories indexed
889–912 of 1,006 · Most stars
Go option and result types that optionally contain a value
- golang
- option
- result
- error
A certified Sudoku solver in Coq [maintainers=@siraben,@thery]
- coq
- sudoku
- nix-action
AS3-based Javascript interpreter, minus a few features (prototype chain, mainly)
Lazy iterator implementation for Golang
- golang
- iterator
- golang-package
- golang-module
Micropython wrapper for FastLZ, a lightning-fast lossless compression library
Clojure-compatible threading/transformation/arrow macros for Common Lisp
pipelines contains generic functions for concurrent processing
- concurrency
- go
- golang
- pipelines
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 parser for Forsyth-Edwards Notation (for encoding chess positions)
a NIF for libntru. NTRU is a post quantum cryptography algorithm.
- ntru
- cryptography
- encryption
- lattice-based-crypto
An Object Pascal Client for NATS
- delphi
- lazarus
- pascal
- linux
Haskell bindings to Colin Percival's scrypt implementation.
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
Practice recognizing chords in this Rust/Yew/Webassembly app
- yew
- music-theory
- music-notation
- wasm
The repository host gives no description.
- algokit
- lib
Implementation of a brainfuck interpreter written for the Game Boy.
Primitive Threads and Concurrency Operations for Coalton
A collection of tools for Golang
A Clojure library designed to provide hassle-free, ready to go gRPC experience without ton of preparations and Java code.
a functional library for coffeescript (and javascript)
Micropython binding for the ESP32 DL AI vision models like face detection / recognition, imagenet classifier or pedestrian (human) detection
- esp32
- face-detection
- imagenet-classifier
- micropython
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