Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
Repository Index
47,133 repositories indexed
97–120 of 162 · Most stars
Convenience library for random base64 strings modeled after my love for Ruby's SecureRandom
A small library of tweening/easing functions for use in the PICO-8 fantasy console, inspired by Robert Penner's easing functions.
- pico-8
- pico8
- lua
- lua-library
Write CLI-scripts in Elm
- elm
- cli
- script
Generate nix expressions from opam packages
Examples of Tensorflow Lite on Android
- tensorflow
- tensorflow-lite
- kotlin-android
- android
ChatOps for MySQL.
A neovim version of the inline fold plugin
Mustache templating library for C++ using Qt
An experiment in extending the command-line interface.
:cat: GitHub contributions app, for iOS, WatchOS, and OSX
Cron component for Phalcon.
Utilities for working with SQLite databases in AIR
IBM WebSphere Application Server Liberty Buildpack
MicroPython driver for the HX711 load cell interface.
This is a Godot Script (GDScript) (http://www.godotengine.org/) port of the Robert Penner's equations for easing. You can find much more information about it on http://robertpenner.com/easing/.
A k6 extension for Server-Sent Events (SSE)
- k6
- sse
- sse-client
- xk6
Micropython driver for the BME680 sensor
An open source implementation of some of the applications from Larry Kroeker's DF-EDIT
Collect your thoughts and notes without leaving the command line.
A schema based keyword list option validator.
The repository host gives no description.
Localization tool for VCL and FMX
Learn you CouchDB for great good!