Edoardo Putti

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

gotobed.koplugin. NO! GOTO BED!

raiAPI. 🌅 Il sole è tramontato su questo progetto

guile-smt. output SMT syntax from Guile

lcf-prover. silly automated prover for minimal propositional logic

netjsonconfig-airos. experiment to convert NetJSON to AirOS7/8 configuration files

lycheese. A screencaster for live video services

env. Package env implements environment parsing.

native. Native messaging made easier. A library to implement the other end of a WebExtension using native messaging.

background-zotero. Shell

memrise-uploader. A sleek Firefox add-on that let you upload hundreds of files to memrise's server in a click!

crx. Package Chrome extensions in Rust

netjsonconfig. Network configuration management library based on NetJSON DeviceConfiguration

har. HAR output for your problematic HTTP interactions

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

persistent-entropy. Jupyter Notebook

do_you_remember. Fine grained control over your history search with keywords

errbot-ebay. Ask for a proper description of an ebay listing

topological-data-analysis. Jupyter Notebook

girantenna. Python

isl-coq. Coq mechanization of Incorrectness Separation Logic

kindle-adapter. easy connect to your kindle serial debug port