Collection of arguably useful shell scripts.
☆19Mar 2, 2026Updated 5 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:
- Intuitionistic Programming Language☆12Dec 28, 2013Updated 12 years ago
- The code behind the blog post: https://www.oreilly.com/learning/capturing-semantic-meanings-using-deep-learning☆34Oct 1, 2020Updated 5 years ago
- GPU model checker☆13Apr 17, 2019Updated 7 years ago
- Syntax highlighting for Alda - a music programming language.☆13Sep 5, 2021Updated 4 years ago
- Qt4/Qt5 GUI and Plasmoid which interact with netctl☆20Mar 6, 2016Updated 10 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- In-memory key-value store for testing applications against weak behaviors of a database.☆11Feb 4, 2021Updated 5 years ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Nov 2, 2013Updated 12 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- ☆12Mar 3, 2021Updated 5 years ago
- Schedule for ArtOfSAT☆11Oct 11, 2023Updated 2 years ago
- ☆11Feb 4, 2020Updated 6 years ago
- Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"☆18Oct 23, 2012Updated 13 years ago
- Fault injection and chaos testing all in one, sweet DSL.☆12Jan 26, 2026Updated 6 months ago
- Tool to visualize executions of multi-threaded systems☆13Jun 1, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- MuseScore plugin to add note names as staff text☆23Dec 9, 2025Updated 8 months ago
- The ANTLR 4 Website☆16Aug 3, 2024Updated 2 years ago
- Fully proved small C functions (examples for verification course).☆17Jun 26, 2017Updated 9 years ago
- Next generation sequencing (NGS/HTS) tools.☆19Jan 25, 2024Updated 2 years ago
- Patiencediff implementation☆17Jun 15, 2026Updated last month
- 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
- Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)☆16Jan 26, 2024Updated 2 years ago
- ERC module for Gitter (irc.gitter.im)☆15Sep 24, 2015Updated 10 years ago
- A curated list of awesome TikZ packages and resources☆48Jul 31, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Graphing Scrubbing Calculator☆11Nov 27, 2017Updated 8 years ago
- Template for RevealJS talk slides using Pug, KaTeX, Stylus, CoffeeScript, SVG Tiler, SVG.js☆19Apr 5, 2022Updated 4 years 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
- A beamer theme for NJU.☆15Nov 1, 2015Updated 10 years ago
- ☆14Nov 23, 2021Updated 4 years ago
- Estimators for Information Theoretic Functionals using Influence Functions☆11Apr 17, 2016Updated 10 years ago
- Permutations of a trainset☆10Jan 20, 2023Updated 3 years ago
- A simple and silly hidden objects / explosion game for kids and adults☆13Jul 13, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆10Apr 28, 2026Updated 3 months ago
- A lezer-based PromQL grammar☆12Jul 11, 2022Updated 4 years ago
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆24Apr 17, 2023Updated 3 years ago
- Problem Sets for Problem Solving Class☆15Jun 14, 2020Updated 6 years ago
- Bridge the terminal and browser☆18Jul 28, 2023Updated 3 years ago
- LaTeX support for etherpad-lite☆15Jan 22, 2013Updated 13 years ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆27Nov 18, 2022Updated 3 years ago