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:
- ☆18Jul 10, 2014Updated 11 years ago
- The dread tikzmark arrives on github☆15Mar 31, 2026Updated 2 weeks ago
- csv grammar for tree-sitter☆11Nov 13, 2025Updated 5 months ago
- German short introduction to LaTeX☆27Apr 26, 2025Updated 11 months ago
- Lecture Notes for Algebra Lectures at the University of Bonn☆14Sep 4, 2024Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- issue 03, spring 2024, 𝓉𝒽𝑒 𝒽𝓉𝓂𝓁 𝓇𝑒𝓋𝒾𝑒𝓌☆15Jan 12, 2026Updated 3 months ago
- Notes from Andrew Blumberg's class on equivariant homotopy theory☆17Aug 19, 2025Updated 7 months ago
- Latex package to print spectral sequence diagrams using pgf/tikz.☆12Jan 18, 2026Updated 2 months ago
- fdroid-dl is a python based f-droid mirror generation and update utility for the command line☆12Jul 2, 2020Updated 5 years ago
- Search for AppImage releases over the web.☆12Oct 25, 2018Updated 7 years ago
- ☆13Jul 30, 2020Updated 5 years ago
- a questions and answers couchapp similar to stackoverflow☆22Jan 15, 2010Updated 16 years ago
- Variants for ROS (implemented as metapackages)☆11May 31, 2025Updated 10 months ago
- My basic LaTeX macros and BibTeX file.☆14Jan 13, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- View man pages in neovim☆15Dec 7, 2022Updated 3 years ago
- Tools for generating and comparing Decorated Merge Trees, enriched persistence-based topological data descriptors.☆17Aug 27, 2022Updated 3 years ago
- Collection of dynamic-graph entities aimed at implementing torque control on different robots.☆14Nov 24, 2025Updated 4 months ago
- Script editor for Scripts.{rxdata, rvdata, rvdata2}☆10Oct 20, 2020Updated 5 years ago
- A LaTeX package for typesetting (potentially long) recipes.☆40Jun 26, 2021Updated 4 years ago
- A pandoc filter for applying different font size on specific elements☆12Dec 17, 2024Updated last year
- Cross-platform Kotlin/Native readline library with history support for interactive console apps.☆19Mar 30, 2026Updated 2 weeks ago
- This isn't standalone program, this is solution for record selected region with gif output☆12Feb 14, 2018Updated 8 years ago
- Software for Open Source Ecology's MicroTrac☆12Oct 17, 2017Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Programming by demonstration for the PR2☆12Jun 7, 2017Updated 8 years ago
- Tutorials for industrial calibration package.☆11Aug 29, 2018Updated 7 years ago
- What's In It? Measuring disk usage of specific file types recursively per each directory.☆10Jul 28, 2022Updated 3 years ago
- Update script for Manjaro☆11Aug 9, 2024Updated last year
- 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
- A port of the Blackboard theme from TextMate to Vim.☆33Dec 16, 2010Updated 15 years ago
- guoqiao's vimrc to use vim as python IDE and universal editor.☆18Apr 7, 2026Updated last week
- Gazebo plugins for running Orocos RTT components in the gazebo process.☆12Jul 28, 2016Updated 9 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Phusion Passenger RPM packaging automation☆19Apr 7, 2026Updated last week
- auto-complete sources for input of mathematical symbols and latex tags☆26Nov 16, 2014Updated 11 years ago
- ROS packages for the ROBOTIS MANIPULATOR-H☆12Sep 10, 2020Updated 5 years ago
- Python based 3D-diff tool☆16Mar 23, 2022Updated 4 years ago
- CoppeliaSim plugin that offers a URDF importer☆14Nov 19, 2025Updated 4 months ago
- Benchmarking suite for dual arm manipulation☆11Dec 27, 2017Updated 8 years ago
- Documents related to the feeder.co API.☆12Sep 25, 2017Updated 8 years ago