Intuitive functional programming interface for LaTeX2
☆13Dec 21, 2024Updated last year
Alternatives and similar repositories for functional
Users that are interested in functional are comparing it to the libraries listed below
Sorting:
- physicx package, extension of physics package☆12Feb 2, 2023Updated 3 years ago
- CusTeX☆15Oct 11, 2025Updated 4 months ago
- TikZ illustrations, and graphical packages.☆17Feb 24, 2026Updated last week
- The Framework for Optimization of Resources, Controls, and Economics is a collection of software tools, models, and datasets acquired and…☆11Jan 2, 2025Updated last year
- A purely functional cheminformatics toolkit written in Scala☆16Jun 7, 2013Updated 12 years ago
- C++17 Wrapper for ScaLAPACK☆11Oct 5, 2023Updated 2 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Tiny TeX distribution built on Web2C and LuaTeX.☆10Oct 2, 2025Updated 5 months ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Jan 15, 2026Updated last month
- Automatic Resource Management for Scala☆10Feb 20, 2020Updated 6 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- A repo containing exercises and notes for the "Laboratorio di Sicurezza Informatica" course at UniBo☆13May 29, 2025Updated 9 months ago
- Operations with matrices, SWI pack☆13Dec 11, 2023Updated 2 years ago
- Chatbot impls in Prolog☆15Feb 15, 2022Updated 4 years ago
- Customizable charts made with TikZ and LaTeX3☆14Feb 11, 2023Updated 3 years ago
- Linux下C51开发教程配套代码☆13May 4, 2020Updated 5 years ago
- This is the course papg of PhD level advanced macroeconomics.☆10Sep 13, 2021Updated 4 years ago
- mirror of the `prettier` npm package for pre-commit☆10Jan 22, 2026Updated last month
- Monadic Error Handling for Python☆11Aug 29, 2024Updated last year
- Anki 2.1.20+ add-on to adjust the sound volume☆11Jan 3, 2024Updated 2 years ago
- ☆11Mar 3, 2023Updated 3 years ago
- an optimizing curry compiler☆14Nov 27, 2022Updated 3 years ago
- Super-Paramagnetic Clustering, Maximum entropy, Maximum Likelihood Methods.☆11Oct 18, 2021Updated 4 years ago
- add any graph structure between objects with 2 simple classes + iteration, visitation, shortest path☆12Oct 27, 2022Updated 3 years ago
- An knowledge graph for data structures and algorithms in markdown format☆12Jul 22, 2022Updated 3 years ago
- ☆11Nov 16, 2022Updated 3 years ago
- ACF's OPRE OPS product. Code name Unicorn.☆12Updated this week
- Safety Risk Reliability Model Library☆12Jan 23, 2025Updated last year
- Typeset tabulars and arrays with LaTeX3☆316Nov 27, 2025Updated 3 months ago
- ☆13Aug 1, 2020Updated 5 years ago
- ☆19Feb 22, 2017Updated 9 years ago
- Find Niquests at https://github.com/jawah/niquests HTTP/2 HTTP/3 QUIC Async☆12Oct 22, 2024Updated last year
- 2040铝合金框架Core-XY结构的写字机器人☆13Feb 28, 2021Updated 5 years ago
- latex class for manuals☆11Sep 10, 2024Updated last year
- ElegantBook 模板的 LaTeX3 重构☆12Sep 27, 2024Updated last year
- SecEr: Erlang Code Evolution Control Tool☆12Jul 26, 2022Updated 3 years ago
- A LaTeX library to cache pictures (including tikz, python code, and more) in a robust, customizable, and pure way.☆14Feb 23, 2026Updated last week
- Robot navigation algorithms implemented in SPARK☆12Sep 19, 2014Updated 11 years ago