Collection of arguably useful shell scripts.
☆19Mar 2, 2026Updated 2 weeks ago
Alternatives and similar repositories for scripts
Users that are interested in scripts are comparing it to the libraries listed below
Sorting:
- Utility program to losslessly invert all colors of a PDF☆16Apr 6, 2021Updated 4 years ago
- Force Emacs Langtool to ignore certain fonts. For example, this can be used to prevent langtool from highlighting LaTeX in math-mode.☆12May 31, 2021Updated 4 years ago
- Intuitionistic Programming Language☆12Dec 28, 2013Updated 12 years ago
- My i3 config and various scripts. Abandoned due to migration to awesome☆15Aug 6, 2024Updated last year
- Commandline interface for Zotero☆16Jan 11, 2021Updated 5 years ago
- Syntax highlighting for Alda - a music programming language.☆12Sep 5, 2021Updated 4 years ago
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 years ago
- Toy graphical client for the reMarkable cloud☆10Apr 7, 2020Updated 5 years ago
- Qt4/Qt5 GUI and Plasmoid which interact with netctl☆20Mar 6, 2016Updated 10 years ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆15Dec 16, 2024Updated last year
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- ☆11Mar 3, 2021Updated 5 years ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Nov 2, 2013Updated 12 years ago
- ESP8266 + WS2812 controller: https://talk.vanhack.ca/t/esp8266-ws2812-partycat-controller/5129☆10Dec 30, 2019Updated 6 years ago
- A USB-C PD Sink up to 20V 5A based on the Cypress CYPD3177 USB PD Controller☆15Apr 29, 2024Updated last year
- The website of PingCAP. Powered by Gatsby ⚛️ and Rocket 🚀.☆11May 31, 2023Updated 2 years ago
- Adds printers from Elegoo to Cura☆10Feb 8, 2022Updated 4 years ago
- Rocket engine simulation for university projects☆11Sep 30, 2019Updated 6 years ago
- Install Wine programs on Arch☆10Aug 31, 2021Updated 4 years ago
- Assorted calculators and simulation code for hybrid rocket engine design and testing☆12Jun 2, 2019Updated 6 years ago
- Offline quick-and-dirty text plagiarism checker written in Rust☆22Apr 5, 2024Updated last year
- The ANTLR 4 Website☆16Aug 3, 2024Updated last year
- Patiencediff implementation☆16Jan 1, 2026Updated 2 months ago
- Fully proved small C functions (examples for verification course).☆17Jun 26, 2017Updated 8 years ago
- Next generation sequencing (NGS/HTS) tools.☆19Jan 25, 2024Updated 2 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Dec 4, 2018Updated 7 years ago
- Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)☆16Jan 26, 2024Updated 2 years ago
- Node.js port of EtherCalc with widgets☆10Nov 11, 2017Updated 8 years ago
- ERC module for Gitter (irc.gitter.im)☆15Sep 24, 2015Updated 10 years ago
- ☆17Jul 8, 2021Updated 4 years ago
- Chain GitHub Pull Requests☆11Aug 18, 2020Updated 5 years ago
- Run TLC in cmd☆15Jan 20, 2026Updated 2 months ago
- Estimators for Information Theoretic Functionals using Influence Functions☆11Apr 17, 2016Updated 9 years ago
- Template for RevealJS talk slides using Pug, KaTeX, Stylus, CoffeeScript, SVG Tiler, SVG.js☆17Apr 5, 2022Updated 3 years ago
- Experiments for ICML paper DICOD: Distributed Convolutional Coordinate Descent for Convolutional Sparse Coding, ICML 2018, T. Moreau, L. …☆12Jan 24, 2019Updated 7 years ago
- Lecture notes on stellar physics, undergraduate level☆19Oct 16, 2025Updated 5 months ago
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆25May 28, 2025Updated 9 months ago
- Browse your locally stored media using a browser and push it up to a chromecast.☆62Feb 10, 2015Updated 11 years ago
- ☆10Feb 4, 2026Updated last month