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 comprehensive list of auxiliary files used by LaTeX☆16Nov 16, 2015Updated 10 years ago
- ☆18Jul 10, 2014Updated 12 years ago
- Staatsexamensarbeit☆37Jul 5, 2016Updated 10 years ago
- The dread tikzmark arrives on github☆16May 31, 2026Updated 3 months ago
- Notes from Andrew Blumberg's class on equivariant homotopy theory☆17Aug 19, 2025Updated last year
- 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.
- This is a cross platform C++ project to compute and maintain spectral sequences based on sqlite3 databases and the algorithms on Groebner…☆13Jul 27, 2026Updated last month
- issue 03, spring 2024, 𝓉𝒽𝑒 𝒽𝓉𝓂𝓁 𝓇𝑒𝓋𝒾𝑒𝓌☆16Jan 12, 2026Updated 7 months ago
- 🧛🏻♂️ Dark theme for Nova☆14Mar 21, 2022Updated 4 years ago
- Execute Python code on the fly in your LaTeX documents☆39Apr 20, 2026Updated 4 months ago
- DONUT: Database of Original and Non-Theoretical Applications of Topology☆18Updated this week
- German short introduction to LaTeX☆28Jun 22, 2026Updated 2 months ago
- Search for AppImage releases over the web.☆13Oct 25, 2018Updated 7 years ago
- 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 9 months 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.
- some maths papers in English☆24Updated this week
- Collection of Lua modules for general programming (in the (La)TeX world)☆11Jun 14, 2024Updated 2 years ago
- Tools for generating and comparing Decorated Merge Trees, enriched persistence-based topological data descriptors.☆19Aug 27, 2022Updated 4 years ago
- Script editor for Scripts.{rxdata, rvdata, rvdata2}☆10Oct 20, 2020Updated 5 years ago
- See what is going on in the AppImage world on GitHub☆17May 21, 2018Updated 8 years ago
- Programming by demonstration for the PR2☆12Jun 7, 2017Updated 9 years ago
- Tutorials for industrial calibration package.☆11Aug 29, 2018Updated 8 years ago
- Rob Pike's simple regex matcher converted to Go☆11Aug 14, 2022Updated 4 years ago
- What's In It? Measuring disk usage of specific file types recursively per each directory.☆10Jul 28, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆13Nov 10, 2021Updated 4 years ago
- Cybersecurity 2023-2027☆22May 29, 2026Updated 3 months ago
- ☆12Jan 6, 2022Updated 4 years ago
- Gazebo plugins for running Orocos RTT components in the gazebo process.☆12Jul 28, 2016Updated 10 years ago
- [mirror] UPower-powered power alerter (https://sr.ht/~kennylevinsen/poweralertd/)☆17Apr 20, 2024Updated 2 years ago
- magazine design typeset with LaTeX for a challenge on reddit☆41Mar 2, 2021Updated 5 years ago
- CoppeliaSim plugin that offers a URDF importer☆14Nov 19, 2025Updated 9 months ago
- Improviso Font for LilyPond☆11Mar 28, 2016Updated 10 years ago
- Benchmarking suite for dual arm manipulation☆11Aug 12, 2026Updated 3 weeks 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.
- Configuration management of my personal machines, because why not☆19Aug 28, 2026Updated last week
- A simple file browser for Unix systems using a doubled linked list with scroll in C. No ncurses.☆17Jan 13, 2020Updated 6 years ago
- Repositry is not used and it is moved to: KITrobotics/ati_force_torque☆11Jan 19, 2018Updated 8 years ago
- A Tmux status line plugin for wifi status.☆18Sep 10, 2020Updated 5 years ago
- my configuration☆22Updated this week
- A tiny implementation of the Levenshtein edit distance algorithm.☆13Jun 29, 2025Updated last year
- CoDi: Commutative Diagrams for TeX☆31Jul 22, 2025Updated last year