timethy

scrcpy

Display and control your Android device

openpilot

openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system in 275+ supported cars.

vim-plug

:hibiscus: Minimalist Vim Plugin Manager

Rust

All Algorithms implemented in Rust

vim-pathogen

pathogen.vim: manage your runtimepath

yay

Yet another Yogurt - An AUR Helper written in Go

dopamine

Dopamine is a research framework for fast prototyping of reinforcement learning algorithms.

z3

The Z3 Theorem Prover

cvxpy

A Python-embedded modeling language for convex optimization problems.

pikaur

AUR helper with minimal dependencies. Review PKGBUILDs all in once, next build them all without user interaction.

clojupyter

a Jupyter kernel for Clojure

laika

Simple Python GNSS processing library

self-supervised-depth-completion

ICRA 2019 "Self-supervised Sparse-to-Dense: Self-supervised Depth Completion from LiDAR and Monocular Camera"

znapzend

zfs backup with remote capabilities and mbuffer integration.

ahrs

Attitude and Heading Reference Systems in Python

contracts

PyContracts is a Python package that allows to declare constraints on function parameters and return values. Contracts can be specified using Python3 annotations, or inside a docstring. PyContracts supports a basic type system, variables binding, arithmetic constraints, and has several specialized contracts and an extension API.

Dojo.jl

A differentiable physics engine for robotics

InLaTeXbot

Customizable LaTeX bot for Telegram messenger

pyznap

ZFS snapshot tool written in python

Madgwick_Filter

A quaternion based sensor fusion algorithm that fuses accelerometers and gyroscopes and optionally magnetometers

sail

:sailboat: Use Tailwind CSS in Clojure

UsingKalmanFilterTheRightWay

cargo-workspace-unused-pub

Detect unused pub methods in a Rust workspace

Neural-Network-Reach

chemprop

Message Passing Neural Networks for Molecule Property Prediction

smarketcrawlR

This R package provides functions to crawl the stock market at the platform http://www.ariva.de

dkb-csv-clean

The CSV files from the DKB (german bank) are a mess; this attempts to fix them

dataleech

ZFS Backup Strategy - short term local backups and long term remote sync.

DataDrivenEstimator

A package of data driven estimators for thermochemistry and kinetics

cargo-group-imports

Group imports in Rust workspaces