A perl script for searching and replacing in mathematics in LaTeX documents.
☆13Jul 21, 2021Updated 4 years ago
Alternatives and similar repositories for mathgrep
Users that are interested in mathgrep are comparing it to the libraries listed below
Sorting:
- Optional argument checks allow you to omit them when performance is critical.☆10Aug 31, 2022Updated 3 years ago
- Simple currying in julia☆16Nov 20, 2019Updated 6 years ago
- Angular units for Unitful☆17Dec 10, 2023Updated 2 years ago
- ☆27Dec 20, 2021Updated 4 years ago
- The "Assumptions of Physics" book☆38Feb 20, 2026Updated last week
- TikZ illustrations, and graphical packages.☆17Updated this week
- ROS package for Daly Battery Monitor System (BMS)☆12Sep 11, 2025Updated 5 months ago
- Are your fields sleeping?... zzzz...☆37Nov 1, 2024Updated last year
- A 2D physics engine for Ada☆16Feb 19, 2019Updated 7 years ago
- ☆11Sep 15, 2025Updated 5 months ago
- A lib for running multiple VESCS over CAN-BUS from a teensy☆13Jun 16, 2017Updated 8 years ago
- Code for "Extraction of digital wavefront sets using applied harmonic analysis and deep neural networks"☆12Nov 25, 2021Updated 4 years ago
- Disable YubiKey output on MacOS without a modifier key pressed☆10Aug 10, 2022Updated 3 years ago
- Tutorial about noisy labels for SIBGRAPI 2020☆11Nov 6, 2020Updated 5 years ago
- Lecture Material for UW Intro to Programming with Python Course☆13Aug 24, 2017Updated 8 years ago
- ☆22Updated this week
- Full-potential Linearized Augmented Plane Wave code FLEUR: All-electron DFT (repo mirror)☆17Feb 20, 2026Updated last week
- android Fast builds: from 10 minutes to 10 seconds 快速编译，从 10 分钟到 10 秒☆24Feb 4, 2026Updated 3 weeks ago
- Bijection datatype for Julia.☆48Dec 16, 2025Updated 2 months ago
- Open Avionics Architecture Model☆11Sep 15, 2021Updated 4 years ago
- Introduction to mathematical programming with Pyomo (Python)☆12Oct 4, 2018Updated 7 years ago
- Generic interface for attaching metadata to stuff.☆13Sep 14, 2025Updated 5 months ago
- Julia infix function hack.☆16Nov 4, 2017Updated 8 years ago
- A Neovim plugin to run the current filetype.☆10Jun 22, 2023Updated 2 years ago
- Easy way to convert dict to struct☆15Feb 6, 2022Updated 4 years ago
- mini wiki software in golang☆21Nov 16, 2018Updated 7 years ago
- Incremental fast build engine cum unique navigation UI (with search) for plain-text notes, optimized for private notebooks.☆11May 18, 2021Updated 4 years ago
- An Anki addon for pulling flashcard data (one-way sync) from XML. Optimized for LIFT XML (from WeSay or FLEx). [This is now the official …☆10Feb 2, 2026Updated 3 weeks ago
- The unofficial Scala game☆11Oct 26, 2020Updated 5 years ago
- Some fun with pipes!☆10Jan 12, 2021Updated 5 years ago
- [KDD24-ADS] R-Eval: A Unified Toolkit for Evaluating Domain Knowledge of Retrieval Augmented Large Language Models☆11Apr 9, 2024Updated last year
- large scale variational Gaussian state-space models☆14Feb 16, 2026Updated last week
- Practice typing In your favorite programming language☆12Apr 27, 2014Updated 11 years ago
- Awesome LLM for Cybersecurity☆11Nov 16, 2024Updated last year
- ☆11Jul 26, 2023Updated 2 years ago
- Free group automorphisms and train-track representative in python/sage☆12Sep 18, 2025Updated 5 months ago
- Build a state machine in Julia based on functions along with stepping and visualization tools☆14Dec 17, 2024Updated last year
- Collection of experiments with the Ada language☆15Mar 25, 2013Updated 12 years ago
- This is a sample project where we can get the exact use case of pythons multi threading.☆11Oct 6, 2020Updated 5 years ago