☆16Jun 17, 2017Updated 9 years ago
Alternatives and similar repositories for latexmk-config
Users that are interested in latexmk-config are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated 2 years ago
- Feynrules and UFO models for SMEFT phenomenology☆16Oct 6, 2022Updated 3 years ago
- A suite of communication proxies for HPC applications☆13Jul 7, 2023Updated 2 years ago
- ☆15Mar 12, 2016Updated 10 years ago
- Having fun with the Jawbone UP2 band☆13Jul 21, 2018Updated 7 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 tool for correcting for the look-elsewhere effect in 2 dimensions☆11Mar 3, 2016Updated 10 years ago
- numerical computations library☆13May 8, 2016Updated 10 years ago
- PHP based web index for image displaying☆16May 15, 2024Updated 2 years ago
- a set of Dockerfiles defining docker containers for HEP software and appliances.☆17Mar 24, 2018Updated 8 years ago
- A re-implementation of emcee in rust☆12Jun 15, 2019Updated 7 years ago
- Solve hard constraints easily with Rust.☆15Jul 17, 2022Updated 3 years ago
- A minimalistic IRC bouncer in Rust.☆11Jul 10, 2018Updated 7 years ago
- Super Scalar Sample Sort in modern C++☆21Sep 30, 2020Updated 5 years ago
- Python module to create Kerberos keytabs☆18Jul 12, 2023Updated 2 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.
- Modular cloning simulation with the MoClo framework in Python☆12May 3, 2022Updated 4 years ago
- Excursion Set Estimation☆22Sep 23, 2021Updated 4 years ago
- Composable probability distributions☆16Jan 31, 2023Updated 3 years ago
- CMSSW package for the creation, editing and analysis of combine datacards and workspaces☆17Mar 4, 2026Updated 3 months ago
- A simple way to implement Rayon's ParallelIterator☆19Apr 13, 2022Updated 4 years ago
- Check that a crate builds without libstd☆25Jan 31, 2021Updated 5 years ago
- Easy lecture slides made difficult with pandoc and beamer☆134Mar 3, 2026Updated 3 months ago
- ☆14Updated this week
- Working prototype☆16Feb 27, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆22Sep 26, 2016Updated 9 years ago
- Mother machine image analysis through napari☆10Jun 6, 2026Updated last week
- A simple implementation for pretty, Rust-style error diagnostics.☆27Sep 16, 2020Updated 5 years ago
- ☆26Feb 8, 2022Updated 4 years ago
- Count directory entries—`ls | wc -l` but faster☆28Dec 20, 2025Updated 5 months ago
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Jan 10, 2023Updated 3 years ago
- Scientific numbers with multiple uncertainties, correlation-aware gaussian error propagation and numpy support.☆30Dec 3, 2025Updated 6 months ago
- Google Cloud DNS provider implementation for libdns interfaces☆13Jun 24, 2025Updated 11 months ago
- antifunext☆41Jun 27, 2024Updated 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.
- A rust library for easily usable game bots.☆29Mar 28, 2022Updated 4 years ago
- Supercharged pandas indexing☆11Mar 28, 2021Updated 5 years ago
- The interface between FastJet and NumPy☆33Jan 6, 2023Updated 3 years ago
- Differentiable interface to FEniCS for PyMC3☆21Nov 28, 2022Updated 3 years ago
- A Logical Relation for Martin-Löf Type Theory in Agda☆56Sep 11, 2025Updated 9 months ago
- Course notes for ECSE 506: Stochastic Control and Decision Theory☆44May 11, 2026Updated last month
- Docker Image for Pi.Alert☆32Jun 25, 2022Updated 3 years ago