A verification toolchain for Rust programs

Fuse filesystem that returns symlinks to executables based on the PATH of the requesting process.

An archive-less dockerTools.buildImage implementation

🎨 Powerful, minimalistic, cross-platform, opensource note-taking app

Sane and reproducible scientific dev environments with Nix

Podman Desktop is the best free and open source tool to work with Containers and Kubernetes for developers. Get an intuitive and user-friendly interface to effortlessly build, manage, and deploy co…

🦊 I respect proton UI and aim to improve it.

Recurrent Neural Network Implementations for Time Series Forecasting

Automated Time Series Forecasting

A python library for user-friendly forecasting and anomaly detection on time series.

A Unified Toolkit for Deep Learning Based Document Image Analysis

ECON 5970: Data Science for Economists, University of Oklahoma (Spring 2018)