A builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.
☆21Jan 22, 2019Updated 7 years ago
Alternatives and similar repositories for dicy
Users that are interested in dicy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A PBT framework☆10Jul 19, 2025Updated last year
- The dread tikzmark arrives on github☆16May 31, 2026Updated last month
- Dependently Typed Metaprogramming Exercises☆24Feb 9, 2018Updated 8 years ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆28Mar 24, 2019Updated 7 years ago
- Notes from Andrew Blumberg's class on equivariant homotopy theory☆17Aug 19, 2025Updated 11 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- rules for writing and typesetting☆26Oct 1, 2021Updated 4 years ago
- Comparing shrinking approaches and performance across different PBT libraries☆31Apr 20, 2026Updated 3 months ago
- This is a cross platform C++ project to compute and maintain spectral sequences based on sqlite3 databases and the algorithms on Groebner…☆12Updated this week
- issue 03, spring 2024, 𝓉𝒽𝑒 𝒽𝓉𝓂𝓁 𝓇𝑒𝓋𝒾𝑒𝓌☆16Jan 12, 2026Updated 6 months ago
- 🧛🏻♂️ Dark theme for Nova☆14Mar 21, 2022Updated 4 years ago
- Mutable strings in Golang via overlays (out-of-place implementation)☆14Apr 13, 2023Updated 3 years ago
- Specification of the Cedille Core language☆36Jul 21, 2020Updated 6 years ago
- Execute Python code on the fly in your LaTeX documents☆39Apr 20, 2026Updated 3 months ago
- ☆12Jan 8, 2016Updated 10 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.
- fdroid-dl is a python based f-droid mirror generation and update utility for the command line☆12Jul 2, 2020Updated 6 years ago
- BibTeX grammar for tree-sitter☆23Apr 19, 2025Updated last year
- German short introduction to LaTeX☆28Jun 22, 2026Updated last month
- Search for AppImage releases over the web.☆12Oct 25, 2018Updated 7 years ago
- ☆13Jul 30, 2020Updated 5 years ago
- A LaTeX library to cache pictures (including tikz, python code, and more) in a robust, customizable, and pure way.☆15Jun 16, 2026Updated last month
- View man pages in neovim☆15Dec 7, 2022Updated 3 years ago
- Collection of dynamic-graph entities aimed at implementing torque control on different robots.☆15Nov 24, 2025Updated 8 months ago
- My basic LaTeX macros and BibTeX file.☆14Jan 13, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- some maths papers in English☆22Jul 12, 2026Updated 2 weeks ago
- Tools for generating and comparing Decorated Merge Trees, enriched persistence-based topological data descriptors.☆17Aug 27, 2022Updated 3 years ago
- A LaTeX package for typesetting (potentially long) recipes.☆41Jun 26, 2021Updated 5 years ago
- See what is going on in the AppImage world on GitHub☆16May 21, 2018Updated 8 years ago
- A python library for decoding LoRaWAN packets☆11Apr 5, 2024Updated 2 years ago
- JoanAudit - A security slicing tool that helps security auditors to perform their security auditing tasks more efficiently☆10Sep 6, 2017Updated 8 years ago
- Programming by demonstration for the PR2☆12Jun 7, 2017Updated 9 years ago
- Update script for Manjaro☆11Aug 9, 2024Updated last year
- What's In It? Measuring disk usage of specific file types recursively per each directory.☆10Jul 28, 2022Updated 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.
- ☆38Jan 17, 2024Updated 2 years ago
- ☆13Nov 10, 2021Updated 4 years ago
- Cybersecurity 2023-2027☆21May 29, 2026Updated 2 months ago
- DBus example using low level DBus C API☆11Sep 29, 2013Updated 12 years ago
- astyle mirror (http://astyle.sourceforge.net/)☆11Mar 12, 2018Updated 8 years ago
- guoqiao's vimrc to use vim as python IDE and universal editor.☆18Jun 25, 2026Updated last month
- 🕶️ Cool dark red Facebook Messenger theme☆10Jan 24, 2024Updated 2 years ago