The repository host gives no description.
Repository Index
47,133 repositories indexed
457–480 of 507 · Most stars
pipelines contains generic functions for concurrent processing
- concurrency
- go
- golang
- pipelines
Seamless Interface to Octave -- and Matlab code
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)
OCaml library for forking child processes to perform work on multiple cores
Practice recognizing chords in this Rust/Yew/Webassembly app
- yew
- music-theory
- music-notation
- wasm
Less compiler for golang
A Clojure library designed to provide hassle-free, ready to go gRPC experience without ton of preparations and Java code.
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
A plugin for Mocha to pass JS files through the Traceur transpiler
Fast LZMA2 Wrapper for .NET
- compression
- dotnet
- lzma2
- nuget
Elixir RSS/Atom parser
Gatling DSL extensions — feeders, profile management, transactions, assertions, Redis integration, and utility functions
- gatling
- performance
- performance-testing
- gatling-plugin
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
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.
A library that wraps OpenSSL, but also has pure Julia implementations for reference.
This javascript webapp converts GLSL code from shadertoy.com to Gamemaker GLSL ES as well as output other necessary code to run.
- shadertoy
- gamemaker
- text-processing
Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]
- coq
- mathcomp
- modal-logics
- ctl
Evaluate user input expressions
- elixir
- elixir-library
- expression
- expression-evaluator
Augments Hunchentoot error pages and logs with request and session information.
- web
- hunchentoot
- lisp
- common-lisp
PEG parser for YAML written in Rust 🦀
Hands is a process controller used to control the execution and return strategies of multiple goroutines.