-
Spotify
- London, UK
- https://themiurgo.github.io/website
- @themiurgo
Lists (2)
Sort Name ascending (A-Z)
Stars
- All languages
- AppleScript
- Arduino
- Assembly
- Batchfile
- C
- C++
- CSS
- CartoCSS
- Clojure
- CoffeeScript
- Dockerfile
- F#
- Go
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Markdown
- Mathematica
- Objective-C
- PHP
- Perl
- PostScript
- Python
- R
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Swift
- TSQL
- TeX
- TypeScript
- Vim Script
- Vue
- XSLT
Select, put and delete data from JSON, TOML, YAML, XML and CSV files with a single tool. Supports conversion between formats and can be used as a Go package.
ip to location database by ASN, GeoFeed, Whois, iptoasn.com, db-ip lite, GeoLite2
Simple tool for getting geolocation information on given IP address from various geolocation databases.
The Swiss Army Knife of System Recovery
A Python package to access information about properties from Zoopla
The command line catalog tool for your offline data
jq for binary formats - tool, language and decoders for working with binary and text formats
Convert email newsletters into Atom feeds
Rich is a Python library for rich text and beautiful formatting in the terminal.
Express & compile probabilistic programs for performant inference on CPU & GPU. Powered by JAX.
Deploy a ML inference service on a budget in less than 10 lines of code.
Multi-platform transparent client-side encryption of your files in the cloud
Collection of zsh scripts for working with Johnny.Decimal structure https://johnnydecimal.com/
Derive a file name according to old file name cues and/or PDF file content
💾 dn - offline full-text search and archiving for your Chromium-based browser.
Latex notes on papers, courses, ideas: Pure math and computer science.
Various scripts and utilities for Obsidian.md
A parallel implementation of "graph2vec: Learning Distributed Representations of Graphs" (MLGWorkshop 2017).
Export Spotify playlists using the Web API. Analyze them in the Jupyter notebook.
Master programming by recreating your favorite technologies from scratch.
Handling time-stamps and date-stamps in file names
What did I do on February 14th 2007? Visualize your (digital) life in Org-mode