Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
- coq
- randomized-algorithms
- probability
- monad
Repository Index
47,133 repositories indexed
38,497–38,520 of 46,374 · Most stars
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
Common Lisp feed parser
A repo-native coding-agent loop harness for Claude, Codex, Copilot, and other CLI agents. Agents can edit. Gates decide what lands. You set the plan in motion. The agents take a prompt, and each iteration must update specs and commit through guardrails.
Firebase Authentication Middleware for Go Fiber framework.
American Sign Language Detection is a deep learning end to end project where we can detect American Sign Language.
- asl
- keras
- tensroflow
- tflite
Apache Wicket component leveraging the use of Shield UI JavaScript library
A DigitalOcean Storage adapter for Ghost 1.x and Ghost 2.x
Encrypt and decrypt IPFS files with a secret passphrase.
Universal 1d/2d data containers with Transformers functionality for data analysis.
Phoenix API Docs
Libnotify for Crystal
:video_camera: IPCamera alarm to MQTT bridge inspired to the mqtt-smarthome project.
- mqtt-smarthome
- mqtt
- ipcam
The repository host gives no description.
A Common Lisp library to define less error-prone macros, faster.
Hint and fix deviating indentation.
- formatting
- highlight
- indentation
- lint
Native DTrace probes for ruby apps
Hanoi tower in Coq
A simple helper library with 2 NBConvert exporters for PDF/HTML export with no code cells
- jupyterlab
- jupyter
- python
- nbconvert
Graph Drawing DSL (or Graphviz Interface) for Common Lisp.
Convert GeoJSON to OSM XML
- geojson
- openstreetmap-data
A YAML encoder for Elixir.
- yaml-encoder
- hex
- elixir
MIRROR: The universal installer and updater for (container) tools
CL-AGRAPH — A minimal portable Lisp client for AllegroGraph