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:
- DONUT: Database of Original and Non-Theoretical Applications of Topology☆18Jun 17, 2026Updated 3 weeks ago
- The dread tikzmark arrives on github☆15May 31, 2026Updated last month
- csv grammar for tree-sitter☆12Nov 13, 2025Updated 7 months ago
- Lecture Notes for Algebra Lectures at the University of Bonn☆14Sep 4, 2024Updated last year
- Latex package to print spectral sequence diagrams using pgf/tikz.☆12Jan 18, 2026Updated 5 months 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.
- Execute Python code on the fly in your LaTeX documents☆39Apr 20, 2026Updated 2 months ago
- A tool for turning mdbooks into slide shows☆24Feb 20, 2026Updated 4 months ago
- Search for AppImage releases over the web.☆12Oct 25, 2018Updated 7 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 last year
- Collection of Lua modules for general programming (in the (La)TeX world)☆11Jun 14, 2024Updated 2 years ago
- My basic LaTeX macros and BibTeX file.☆14Jan 13, 2023Updated 3 years ago
- some maths papers in English☆22Jun 27, 2026Updated last week
- Collection of dynamic-graph entities aimed at implementing torque control on different robots.☆15Nov 24, 2025Updated 7 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Script editor for Scripts.{rxdata, rvdata, rvdata2}☆10Oct 20, 2020Updated 5 years ago
- Cross-platform Kotlin/Native readline library with history support for interactive console apps.☆20Jun 29, 2026Updated last week
- This isn't standalone program, this is solution for record selected region with gif output☆12Feb 14, 2018Updated 8 years ago
- Package manager that can be used to install (ROS) dependencies☆13Jun 26, 2026Updated last week
- Software for Open Source Ecology's MicroTrac☆12Oct 17, 2017Updated 8 years ago
- Programming by demonstration for the PR2☆12Jun 7, 2017Updated 9 years ago
- Tutorials for industrial calibration package.☆11Aug 29, 2018Updated 7 years ago
- Floating desktop for KDE Plasma☆12Jun 25, 2020Updated 6 years ago
- DBus example using low level DBus C API☆11Sep 29, 2013Updated 12 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- astyle mirror (http://astyle.sourceforge.net/)☆11Mar 12, 2018Updated 8 years ago
- Gazebo plugins for running Orocos RTT components in the gazebo process.☆12Jul 28, 2016Updated 9 years ago
- guoqiao's vimrc to use vim as python IDE and universal editor.☆18Jun 25, 2026Updated 2 weeks ago
- ☆12Jan 6, 2022Updated 4 years ago
- Whole-body Compliant Dynamical Contacts in Cognitive Humanoids☆20Apr 5, 2020Updated 6 years ago
- ROS packages for the ROBOTIS MANIPULATOR-H☆12Sep 10, 2020Updated 5 years ago
- Source code for the Introduction to Open-Source Robotics course http://www.osrobotics.org/osr/☆13Aug 23, 2021Updated 4 years ago
- Python based 3D-diff tool☆16Mar 23, 2022Updated 4 years ago
- CoppeliaSim plugin that offers a URDF importer☆14Nov 19, 2025Updated 7 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Curso de animación en Manim☆44Jun 2, 2019Updated 7 years ago
- Detect changepoints in time series data☆11Oct 29, 2014Updated 11 years ago
- Closed form solution for KUKA LWR iiwa manipulator.☆11Mar 17, 2016Updated 10 years ago
- ☆13Nov 10, 2021Updated 4 years ago
- DEPRECATED☆24Oct 13, 2020Updated 5 years ago
- CoDi: Commutative Diagrams for TeX☆31Jul 22, 2025Updated 11 months ago
- A tiny implementation of the Levenshtein edit distance algorithm.☆13Jun 29, 2025Updated last year