POTS Telephone Subscriber Line Interface Module

Read proprietary file formats from electrochemical test stations

Software for writing protocols and running them on the Opentrons Flex and Opentrons OT-2

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

Code for Machine Learning for Algorithmic Trading, 2nd edition.

Run macOS VM in a Docker! Run near native OSX-KVM in Docker! X11 Forwarding! CI/CD for OS X Security Research! Docker mac Containers.

Open Babel is a chemical toolbox designed to speak the many languages of chemical data.

VUnit is a unit testing framework for VHDL/SystemVerilog

Pandoc filter for cross-references

Universal markup converter

IEEE Conference Publication Template for Pandoc

All Algorithms implemented in Python

Print directory tree in Markdown

💫  Automatically format markdown files via comment blocks using source code, external data & custom transforms.

JavaScript desktop widgets

Light-weight system monitor for X, Wayland (sort of), and other things, too

Conky setup for a minimalistic desktop.