☆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:
- Repositório para a turma de APC 2018/2☆11Dec 11, 2018Updated 7 years ago
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated 2 years ago
- ALio Proto Board: The ALL-in-One Prototyping Board☆15Aug 8, 2022Updated 4 years ago
- given an arixiv id or title, check if has been published, and then returns the updated bib☆15May 12, 2021Updated 5 years ago
- Supercompilation by Evaluation: archived for posterity. See http://github.com/batterseapower/chsc for the latest developments.☆17Sep 10, 2021Updated 4 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.
- Use LaTeX's gitinfo2 with almost no effort☆10May 22, 2023Updated 3 years ago
- MATLAB toolbox designed for analysis of grounding grids (grounding impedance, GPR, leakage currents, touch voltage, step voltage distribu…☆10Oct 27, 2025Updated 10 months ago
- Having fun with the Jawbone UP2 band☆14Jul 21, 2018Updated 8 years ago
- Projetos, conteúdos e ideias da disciplina de Engenharia de Software, Ciência da Computação, Universidade de Brasília (UnB)☆12Sep 7, 2020Updated 6 years ago
- A simple, lightweight library for ANSI styling.☆22Oct 30, 2025Updated 10 months ago
- A tool for correcting for the look-elsewhere effect in 2 dimensions☆11Mar 3, 2016Updated 10 years ago
- Draw and update graphs in real time with OpenGL☆17Jul 21, 2019Updated 7 years ago
- Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq☆20Jun 3, 2026Updated 3 months ago
- Dataframe toolboxes for data analysis and plotting in Matlab☆13Apr 25, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Arthur's Formal Metatheory in Coq☆22Feb 6, 2026Updated 7 months ago
- a set of Dockerfiles defining docker containers for HEP software and appliances.☆17Mar 24, 2018Updated 8 years ago
- A simple Rust library for efficiently solving ODEs without cloning☆12Jun 26, 2019Updated 7 years ago
- Python module to create Kerberos keytabs☆19Jul 12, 2023Updated 3 years ago
- The IEEETran in OrgMode, just type make.☆16Jul 16, 2020Updated 6 years ago
- Advent of Code solutions☆18Dec 12, 2025Updated 8 months ago
- CMSSW package for the creation, editing and analysis of combine datacards and workspaces☆17Jul 24, 2026Updated last month
- Programação Orientada a Objetos em Java: uma abordagem didática ☕️🧩☆20Apr 22, 2025Updated last year
- matlabfrag is a function which exports a Matlab figure to .eps and .tex files for use in LaTeX/pdfLaTeX/LyX.☆18Nov 22, 2022Updated 3 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.
- Excursion Set Estimation☆22Sep 23, 2021Updated 4 years ago
- Solutions for Rosetta Code in V☆28Aug 28, 2019Updated 7 years ago
- Containerize and deploy popular fullstacks, microservices, and Big Data workloads using Containerd, Docker, Docker compose, and Docker sw…☆11Aug 13, 2026Updated 3 weeks ago
- PositNN - Framework for training and inference with neural nets usings posits☆21Aug 17, 2026Updated 3 weeks ago
- Modelo em Latex para elaboração de monografias, dissertações e teses da Universidade de Brasília (UnB) que gera automaticamente o PDF🎓📘☆20Nov 10, 2022Updated 3 years ago
- ☆12Mar 9, 2020Updated 6 years ago
- Easy lecture slides made difficult with pandoc and beamer☆134Mar 3, 2026Updated 6 months ago
- New generation >10-year lifetime sensor node☆29Nov 22, 2022Updated 3 years ago
- Stuff of my PhD I want to share publicly: all code, texts of my papers, research-notes & research-diary☆31Nov 20, 2020Updated 5 years ago
- 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.
- Bitcoin (BSV) Improvement Proposals☆23Jun 11, 2023Updated 3 years ago
- ☆14Aug 25, 2026Updated last week
- A simple way to implement Rayon's ParallelIterator☆19Apr 13, 2022Updated 4 years ago
- A simple implementation for pretty, Rust-style error diagnostics.☆27Sep 16, 2020Updated 5 years ago
- a tool to monitor several targets at once using icmp or tcp with less possible dependencies☆31Dec 9, 2025Updated 8 months ago
- Hooks for use with http://pre-commit.com/ tooling☆38May 20, 2024Updated 2 years ago
- Scientific numbers with multiple uncertainties, correlation-aware gaussian error propagation and numpy support.☆31Dec 3, 2025Updated 9 months ago