Perl script for replacing dollars in LaTeX documents by their LaTeX versions.
☆13Aug 24, 2021Updated 4 years ago
Alternatives and similar repositories for debuck
Users that are interested in debuck are comparing it to the libraries listed below
Sorting:
- VATA Tree Automata Library☆34Feb 3, 2026Updated last month
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 10 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆21Jul 19, 2016Updated 9 years ago
- A Mathematica package for evaluating Carlson elliptic integrals☆11Sep 29, 2019Updated 6 years ago
- Trusted timestamping on the Tezos blockchain.☆14Aug 2, 2023Updated 2 years ago
- ASCII art version of xeyes, implemented with ncurses and xterm mouse mode☆17Oct 24, 2020Updated 5 years ago
- A Tool for Intersecting Context-Free Grammars☆10Dec 19, 2017Updated 8 years ago
- #zsh automatic complete-word and list-choices. Originally incr-0.2.zsh by y.fujii <y-fujii at mimosa-pudica.net>☆13Jun 22, 2016Updated 9 years ago
- A model checker for safe Petri nets based on partial-order semantics☆13Nov 30, 2020Updated 5 years ago
- Variants for ROS (implemented as metapackages)☆11May 31, 2025Updated 9 months ago
- Semantic Lidar Odometry☆12May 1, 2020Updated 5 years ago
- Python Jupyter Notebooks for robotics algorithm☆10Jun 5, 2022Updated 3 years ago
- An Input Validator for HTTP based on Context-free Languages☆15Apr 27, 2017Updated 8 years ago
- ☆12Mar 31, 2024Updated last year
- 3D-Lidar Camera Calibration using edge Point to Backprojected Plane Constraint☆13May 20, 2023Updated 2 years ago
- VSCode Extension for ROS 2 Launch Files☆15Jun 26, 2024Updated last year
- Implementation of Autocalibration of lidar and optical cameras via edge alignment by Juan Castorena et al.☆12Jul 14, 2019Updated 6 years ago
- The Ciao Preprocessor☆13Jun 17, 2025Updated 9 months ago
- A static site generator which supports markdown with LaTeX.☆18Jul 30, 2025Updated 7 months ago
- Neural Networks for Quantum Detector Tomography☆15May 3, 2019Updated 6 years ago
- Tools that I use in association with Ledger☆25Jul 9, 2011Updated 14 years ago
- An improved version of LLOL☆20Jan 9, 2024Updated 2 years ago
- Hanoi Omega-Automata Format☆16Nov 20, 2022Updated 3 years ago
- Tool for inferring cache replacement policies with automata learning. Uses LearnLib and Sketch.☆16Apr 21, 2020Updated 5 years ago
- Automatic LaTeX Plugin is one of the leading LaTeX plugin for Vim☆44May 13, 2020Updated 5 years ago
- Laser Odometry and Localization☆12Jul 1, 2019Updated 6 years ago
- rss reader bot for telegram☆11Aug 23, 2016Updated 9 years ago
- Retinex algorithm python implementation☆10Sep 12, 2017Updated 8 years ago
- a simple tool to free LiDAR locked-up in ESRI's "Optimized LAS" (aka the "LAZ clone")☆14Oct 1, 2018Updated 7 years ago
- Home for the WALi weighted automaton library and OpenNWA nested-word automaton library☆17Nov 28, 2018Updated 7 years ago
- ROSVENV - A lightweight virtual environment wrapper for ROS1☆24Dec 8, 2025Updated 3 months ago
- Install hamachi on your raspberry pi☆16Jul 26, 2025Updated 7 months ago
- Manthan for Boolean function synthesis☆35Feb 16, 2026Updated last month
- Online BDD Simulation Tool☆24Jul 29, 2025Updated 7 months ago
- Investigating machine learning algorithms for identifying roads within dashcam photos☆11Jan 15, 2016Updated 10 years ago
- 'Phenesthe' (orig. φαίνεσθαι) is a system for the representation and processing of instantaneous and durative temporal phenomena.☆21Dec 3, 2024Updated last year
- Automated Theorem Prover for Automatic Words☆21Apr 7, 2021Updated 4 years ago
- ReasonML code to construct an NFA from a regular expression☆24Mar 22, 2019Updated 6 years ago
- C++ implementation of Retinex algorithm☆11Jan 11, 2018Updated 8 years ago