Computer Assisted Proofs in Dynamics
Audio Transcription software for Linux (Gstreamer) with a foot pedal
Quantized transactions python3
Privacy-preserving generation of a synthetic twin to a data set
Automated operation and maintenance platform
A curated list of data science blogs
Vim configuration for Rust
Generate boilerplate for LV2 plugins
The ultimate tool to automate custom telegram message forwarding
Identify MD5, SHA256 and 300+ other hashes
Package of deep-learning based CTR models
Powerful CLI tool to simplify Amazon ECS deployments, rollbacks, etc.
Dark powered Vim/Neovim plugin manager
Multi facets CASE/AGL for easy project developments
Easy-to-use,Modular and Extendible package of deep-learning models
Real-ESRGAN aims at developing Practical Algorithms
ZHSoftware
A flexible Federated Learning Framework based on PyTorch
Web application for posting, submitting, and evaluating assignments
Web path scanner
A port of WFOPT to the several scripting languages