Wireless tally light for use with ATEM switchers, which connects over WiFi, using an ESP WiFi module.
- tally-light
- atem
- d1-mini
- esp8266
Repository Index
47,133 repositories indexed
25–48 of 58 · Most stars
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
SuperGhidra: Autonomous Agent Reverse Engineering, Lock-Free Ghidra Daemon & C++ Recovery Suite
- arm64
- binary-analysis
- decompiler
- disassembler
Smart and customizable creation of logs.
- log-statements
- logging
- nvim-plugin
- print-statements
igor is an abstraction layer for PostgreSQL with a gorm like syntax.
- igor
- gorm
- prepared-statements
- dbms
F# type providers to support statically typed access to input parameters and result set of sql statement in idiomatic F# way. Data modifications via statically typed tables.
Dart PostgreSQL driver: supports extended query format, binary protocol and statement reuse.
Web UI to view pg_stat_statements
An affordable and reliable Tally Light that works via WiFi based on NodeMCU / ESP8266. Supports multiple video mixers.
- tally
- tally-light
- nodemcu
- nodemcu-lua
A super-slim statemachine-like support library
Object-based Database Interaction for VBA. Create SQL Statements with VBA objects instead of string concatination.
- vba-excel
- sql
- library
TxQuery component is a TDataSet descendant component that can be used to query one or more TDataSet descendant components using SQL statements. It is implemented in Delphi 100% source code, no DLL required, because it implements its own SQL syntax parser and SQL engine.
Add import statements FAST ⚡️
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
- coq
- theorems
TraceLog is a highly configurable, flexible, portable, and simple to use debug logging system for Swift and Objective-C applications running on Linux, macOS, iOS, watchOS, and tvOS.
- swift
- swift-3
- tracelog
- trace-level
A Typesafe-logging (and slf4j) compatible logging library based on macros for Scala/JVM, Scala.js, and Scala Native
- scala
- slf4j
- scala-js
- log-statements
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
Execute cassandra statements from a vert.x module
A DSL in Clojure for SQL query, DML, and DDL. Supports a majority of MySQL's statements.
Prep finds all SQL statements in a Go package and instruments db connection with prepared statements
Parses a CSS file, finds imports, grabs the content of the linked file and replaces the import statement with it.
- gulp-plugin
BeanQueue, a lightweight Python task queue framework based on SQLAlchemy, PostgreSQL SKIP LOCKED queries and NOTIFY / LISTEN statements.
Lightweight, type-safe database query builder for Go with zero production dependencies. JOINs, subqueries, CTEs, batch operations, LRU statement cache. PostgreSQL, MySQL, SQLite.
- database
- database-abstraction
- go
- golang
A MT940 parser in Rust
- mt940
- fints
- hbci
- sepa