- Hamburg, Germany
-
18:22
- 1h ahead - https://jnidzwetzki.github.io
- https://orcid.org/0000-0002-2650-8019
- in/jnidzwetzki
Highlights
- Pro
Lists (4)
Sort Name ascending (A-Z)
Stars
Digital logic design tool and simulator
PostgreSQL wire protocol implemented as a rust library.
PostgreSQL configurator for dCache or any other OLTP workloads
The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes
PostgreSQL reengineered for multi-tenant apps
💩🚀 Windows 95 in Electron. Runs on macOS, Linux, and Windows.
bpftop provides a dynamic real-time view of running eBPF programs. It displays the average runtime, events per second, and estimated total CPU % for each program.
BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
A pygments lexer for PostgreSQL's `EXPLAIN ANALYZE` output
PostgreSQL extension that provides Brazilian specific data types, indexing, functions, casts and operators
This extension provides cheat (but useful) functions on PostgreSQL.
Extension adding support for optimizer hints in PostgreSQL
GitHub Actions: Automatically assign pull request authors.
Java Driver for Apache Cassandra®
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Graphviz DOT rendering and animated transitions using D3
A collection of TLA⁺ specifications of varying complexities.
APALACHE: symbolic model checker for TLA+ and Quint
PostgreSQL extension that implements non-Standard Time-based K-sorted, Lexicographically Unique Identifiers