A lightweight php class for formatting sql statements. Handles automatic indentation and syntax highlighting.
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
- coq
- theorems
A generic, concurrent-safe, and easy-to-use finite state machine (FSM) library for Go.
A Node Red node that wraps around Javascript State Machine
- node-red