Collection of arguably useful shell scripts.
☆19Mar 2, 2026Updated 4 months ago
Alternatives and similar repositories for scripts
Users that are interested in scripts are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Utility program to losslessly invert all colors of a PDF☆16Apr 6, 2021Updated 5 years ago
- Continuum Dynamics Evaluation and Test Suite☆15Aug 29, 2017Updated 8 years ago
- reads the serial port of the Lelit MaraX espresso machine and displays on a TTGO ESP32☆11Mar 29, 2021Updated 5 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- GPU model checker☆13Apr 17, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 2-d vertex based unstructured code for Euler, Navier-Stokes and RANS☆18Jul 9, 2016Updated 10 years ago
- BuckleScript bindings for jest-dom.☆12Jan 6, 2023Updated 3 years ago
- Syntax highlighting for Alda - a music programming language.☆12Sep 5, 2021Updated 4 years ago
- Property based testing plugin for unexpected.☆12Jul 11, 2026Updated last week
- Simple CFD solver for teaching☆18Feb 15, 2011Updated 15 years ago
- Tool Kit for Lagrangian Grid Reconnection☆24May 26, 2023Updated 3 years ago
- Tutorials, scripts, code snippets and resources to help you learn about various languages and become a better dev☆19Dec 24, 2023Updated 2 years ago
- In-memory key-value store for testing applications against weak behaviors of a database.☆11Feb 4, 2021Updated 5 years ago
- Meta repository for discussions regarding ECMAScript proposals☆12Nov 29, 2016Updated 9 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆16Dec 16, 2024Updated last year
- Schedule for ArtOfSAT☆11Oct 11, 2023Updated 2 years ago
- journaltxt library & tool - reads Journal.TXT and writes out (auto-builds) a blog (w/ Jekyll posts etc.)☆31Jul 21, 2017Updated 9 years ago
- The website of PingCAP. Powered by Gatsby ⚛️ and Rocket 🚀.☆11May 31, 2023Updated 3 years ago
- ☆11Feb 4, 2020Updated 6 years ago
- Collection of examples for the MiniSat API☆16Feb 1, 2011Updated 15 years ago
- A tiny C compiler based on LLVM and ANTLR4☆10Jan 13, 2019Updated 7 years ago
- Collection of Distributed Protocol Verification Problems☆15Apr 27, 2024Updated 2 years ago
- A proposal for work branch management commands☆14Jul 16, 2016Updated 10 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- RemoteData and WebData to use with bs-fetch for BuckleScript☆18Jan 29, 2019Updated 7 years ago
- The ANTLR 4 Website☆16Aug 3, 2024Updated last year
- Code for paper: Localized matrix factorization for recommendation based on matrix block diagonal forms☆10Jan 27, 2015Updated 11 years ago
- Fully proved small C functions (examples for verification course).☆17Jun 26, 2017Updated 9 years ago
- This repo will contain advanced FLL My Blocks for Line Follow and Gyro for EV3 and Spike Prime Robots☆11Sep 19, 2023Updated 2 years ago
- LaTeX Beamer themes for the University of Connecticut☆27Oct 11, 2023Updated 2 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
- Patiencediff implementation☆17Jun 15, 2026Updated last month
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- eLyXer (pronounced elixir) is a LyX to HTML converter. While there are a ton of such projects all over the web, eLyXer has a clear focus …☆13Dec 11, 2018Updated 7 years ago
- CI for documentation. Testing if documentation is runable.☆11Mar 4, 2023Updated 3 years ago
- A curated list of awesome TikZ packages and resources☆48Jul 31, 2025Updated 11 months ago
- Run TLC in cmd☆15Jan 20, 2026Updated 6 months ago
- Robotics Training Map for WRO, FLL competitions☆10Aug 19, 2025Updated 11 months ago
- Distributed Algorithms — Online Textbook☆18Jan 2, 2021Updated 5 years ago
- Wrap Saxon 9.X's HE's XSLT 2.0 processor for use in JRuby☆16Sep 2, 2019Updated 6 years ago