63 packages found. Page 1 of 2.

1 2 Next › Last »

Name Version Votes Popularity? Description Maintainer
arend 1.5.0-1 0 0.00 Proof assistant based on Homotopy Type Theory knisht
baiduexporter-git r436.7723f32-5 0 0.00 Assistant for Baidu to export download links to aria2/aria2-rpc bilabila
classroom-assistant 2.0.2-2 0 0.00 GitHub Classroom Assistant is a cross-platform desktop application to help you get student repositories for grading. blacktea
copytranslator-appimage 9.1.0-1 0 0.00 Foreign language reading and translation assistant based on copy and translate. vvxxp8
cuppa 1.1.0-1 1 0.00 Comprehensive Upstream Provider Polling Assistant. nicoulaj
cvassistant 3.1.0-1 1 0.00 A tool for creating specialized resumes in a fast and easy ShalokShalom
cvassistant-git 3.1.0.r155.58cf141-2 0 0.00 Helps you create specialized resumes in Word .docx format fast and easy yochananmarqos
deskchan-git 0.2.7-2 0 0.00 DeskChan, your personal computer assistant. takanashi
dialogblocks 5.03-3 2 0.00 Cross-plattform GUI programming assistant - wxwidget pschmitt
eepbeacon 1.0-2 2 0.00 Ham Radio HF Beacon Assistant not_anonymous
flora-git r11.9571e40-2 0 0.00 Fabric Lightweight Obfuscation Remapping Assistant 2xsaiko
hass-configurator 0.2.6-2 1 0.00 Configuration UI for Home Assistant Polichronucci
home-assistant-lutron-caseta-pro-git r42.f7678c8-2 0 0.00 Lutron Caseta Pro Component for Home Assistant Synthead
home-assistant-midnight-theme-git r15.6681367-1 0 0.00 Midnight theme for Home Assistant Synthead
home-assistant-restriction-card 1.1.9-1 0 0.00 A card to provide restrictions on Lovelace cards defined within. Synthead
home-assistant-simple-thermostat 0.34.1-1 0 0.00 A different take on the thermostat card for Home Assistant Synthead
isabelle-tum 2020-1 0 0.00 A generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. Release mirror: TUM. MW360
janet 0.2.4-21 2 0.00 A Digital life assistant (DLA) that provides a framework allowing various components to communicate, inspired by Iron Man's JARVIS Dragonlord
jape 9.0.9-1 4 0.00 A configurable, graphical proof assistant. przemub
jelvis 1.0.2-1 0 0.00 Smart voice assistants like Alexa, Siri and Google assistants kia_hamedi
joliebulle-git 20171022-1 0 0.00 Brewing assistant and beer recipe design Le_suisse
jqassistant 1.7.0-1 1 0.00 Scan, explore and validate your Java application in a few minutes naraesk
kalliope 0.7.0-1 3 0.00 Modular always-on voice controlled personal assistant designed for home automation orphan
kara 1.2.2.beta-1 0 0.00 Open Source Voice Assistant ragouel
lx-music-desktop-appimage 1.4.0-1 0 0.00 A music assistant based on Electron + Vue. SamLukeYes
mira 0.2.1_beta-1 0 0.00 An abstract workflow assistant for Git north-crescent
pigterm 1.0.1-1 0 0.00 Remote assistant for Linux console Dragonlord
proofgeneral 4.4-3 23 0.00 Generic interface for proof assistants. orphan
proofgeneral-git r8647.2626ed5-1 1 0.00 Generic interface for proof assistants kaptoxic
python-pyhomematic 0.1.67-1 1 0.00 Python Interface to interact with Homematic devices ndowens04
qcma-appindicator 0.3.10-1 0 0.00 Content Manager Assistant for the PS Vita (AppIndicator) orphan
qcma-git v0.4.1.0.g6044fbf-1 5 0.00 Content Manager Assistant for the PS Vita. (GIT version) sl1pkn07
qcma-kdenotifier 0.3.10-1 0 0.00 Content Manager Assistant for the PS Vita (KDE notifier) codestation
qrigol-git a-1 2 0.00 Qt assistant for Rigol DS1000 series scopes swiftgeek
ros-indigo-moveit-setup-assistant 0.7.2-1 0 0.00 ROS - Generates a configuration package that makes it easy to use MoveIt!. hauptmech
ros-kinetic-moveit-setup-assistant 0.9.9-1 1 0.00 ROS - Generates a configuration package that makes it easy to use MoveIt!. orphan
ros-melodic-moveit-setup-assistant 1.0.6-1 0 0.00 ROS - Generates a configuration package that makes it easy to use MoveIt!. bionade24
ros-noetic-moveit-setup-assistant 1.0.2-3 0 0.00 ROS - Generates a configuration package that makes it easy to use MoveIt!. acxz
saka-chromium-git v0.17.1.r10.6a678fb-1 0 0.00 A browsing assistant for Chromium-based browsers kiankasad
savilerow 1.6.5-1 1 0.00 A modelling assistant for CP thor77
spreads 0.5git20150527.c802-1 1 0.00 Modular workflow assistant for book digitization lowfatcomputing
vim-assistant 1.5.8-1 5 0.00 Display the definition of functions, variables, etc. (Tags, PHP/JS/Vim/...) jnbek
wobbly-git v4.17.ga7b0ef1-1 3 0.00 IVTC assistant for VapourSynth, similar to Yatta. (GIT version) sl1pkn07
appdaemon 3.0.5-1 2 0.00 Python execution environment for Home Assistant automation apps luizribeiro
tagainijisho 1.0.3-1 46 0.00 A Free Japanese dictionary and study assistant Gnurou
python-homeassistant-cli 0.9.1-1 1 0.00 Command-line tool for Home Assistant Maxr1998
sam-ba 3.3.1-2 1 0.00 Atmel SAM Boot Assistant jvreeland
gactions 2.2.4-1 3 0.00 The command line interface that you use to test and update your app for the Google Assistant. kylesferrazza
agda-git 2.5.1.r8151.g4108da695-1 3 0.00 A dependently typed functional programming language and proof assistant: development version johngowers
judoassistant 0.3.0-1 1 0.00 Judo Tournament Software Suite svendcs

63 packages found. Page 1 of 2.

1 2 Next › Last »