edoput Goto Github PK

airos-configuration

Configuration keys available in the airos firmware and script to extract them

ansible_lxc_module_template

api-samples

Code samples for YouTube APIs, including the YouTube Data API, YouTube Analytics API, and YouTube Live Streaming API. The repo contains language-specific directories that contain the samples.

arxiv-sanity-preserver

Web interface for browsing, search and filtering recent arxiv submissions

ataf_bot

a telegram bot that can look up bus timetables for you

back_in_time

An addon to time travel trought your tabs history

background-zotero

badhorse

He's Bad and he rules the league with an iron hoof 🐴

bookmark-archiver

🗄 Save an archived copy of all websites starred using Pocket/Pinboard/Bookmarks/RSS. Outputs browseable html.

cara_radio_3_android

Read text messages sent to Radio 3; pulled from http://www.radio3.rai.it/radio3sms/smsradiotre.xml

cjmcu-8223-bsp

Board support package for mynewt

cockpit-ras

crx

Package Chrome extensions in Rust

django-inbox-actions

do_you_remember

Fine grained control over your history search with keywords

dockerfiles

errbot-ebay

Ask for a proper description of an ebay listing

example_backend

forvodownloader

Use forvo API to retrieve link to pronunciations in many languages.

fqdn

Work with fqdn in rust

girantenna

guile-smartcols

Bindings to libsmartcols

guile-smt

output SMT syntax from Guile

har

HAR output for your problematic HTTP interactions

isabelle-2023-flatpak

Experiment packaging Isabelle as flatpak

jekyll-shell-prompt

A non working experiment to show shell interactions

kindle-adapter

easy connect to your kindle serial debug port

lcf-prover

silly automated prover for minimal propositional logic

lilik_playbook

Playbooks to a new Lilik

linked-data-panel

A developer tools panel to show linked data embedded in the inspected page