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.
Repository Index
47,133 repositories indexed
25–35 of 35 · Most stars
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
Execute Exposed statements with Vert.x Reactive SQL Client
- jetbrains-exposed
- kotlin
- postgresql-client
- vertx-sql-client
Automatically fold logging and debug-print statements in Neovim to declutter your code. Works with nvim-origami.
A lightweight Neovim plugin for inserting structured console.* statements in JavaScript and TypeScript files.