Collection of arguably useful shell scripts.
☆19Aug 25, 2026Updated this week
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:
- Continuum Dynamics Evaluation and Test Suite☆15Aug 29, 2017Updated 9 years ago
- Library set based on dynamicRefineFvMesh and the libdynamicfvmesh.so for OpenFOAM to allow 2D AMR☆10Nov 10, 2014Updated 11 years ago
- Orbital viewer (mirror of https://gitlab.com/Jellby/Pegamoid)☆17Jul 7, 2026Updated last month
- A Python interface for working with CHEMKIN☆14May 24, 2015Updated 11 years ago
- Using FVM to solve navier stokes equations in the 2D lid driven cavity problem☆12Jan 21, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Intuitionistic Programming Language☆12Dec 28, 2013Updated 12 years ago
- Implementation of the dynamic Smagorinsky model as proposed by Lilly (1992) for OpenFOAM 6☆18Jul 8, 2019Updated 7 years ago
- GPU model checker☆13Apr 17, 2019Updated 7 years ago
- 2-d vertex based unstructured code for Euler, Navier-Stokes and RANS☆18Jul 9, 2016Updated 10 years ago
- Syntax highlighting for Alda - a music programming language.☆13Sep 5, 2021Updated 4 years ago
- Automatic Differentiation (1st order) for Fortran 95☆22Apr 12, 2022Updated 4 years ago
- In-memory key-value store for testing applications against weak behaviors of a database.☆11Feb 4, 2021Updated 5 years ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆16Dec 16, 2024Updated last year
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆11Nov 2, 2013Updated 12 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.
- Schedule for ArtOfSAT☆11Oct 11, 2023Updated 2 years ago
- Commandline interface for Zotero☆16Jan 11, 2021Updated 5 years ago
- Unofficial LuaLaTeX template for PhD theses at the University of Stuttgart, Germany; used e.g. for my PhD thesis: https://arxiv.org/abs/1…☆21Aug 23, 2019Updated 7 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 7 months ago
- Collection of examples for the MiniSat API☆16Feb 1, 2011Updated 15 years ago
- Python implementation of a doubly connected edge list☆25Apr 2, 2017Updated 9 years ago
- A tiny C compiler based on LLVM and ANTLR4☆10Jan 13, 2019Updated 7 years ago
- LEMOS (University of Rostock) addons for OpenFOAM-2.4.x☆21Oct 9, 2015Updated 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.
- A proposal for work branch management commands☆14Jul 16, 2016Updated 10 years ago
- Collection of Distributed Protocol Verification Problems☆16Apr 27, 2024Updated 2 years ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆15Feb 14, 2023Updated 3 years 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
- OpenFOAM solver to calculate the resolved Reynolds stress, turbulent kinetic energy and dissipation rate at runtime in LES☆32Jul 4, 2020Updated 6 years ago
- 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
- Graphing Scrubbing Calculator☆12Nov 27, 2017Updated 8 years ago
- Robotics Training Map for WRO, FLL competitions☆10Aug 19, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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
- A Haskell library for declarative programming over eventually consistent store (Cassandra).☆18Apr 17, 2018Updated 8 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
- In this solution accelerator, we demonstrate how generative AI, retrieval augmented generation (RAG) and multi stage reasoning can be use …☆15Nov 4, 2024Updated last year
- 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