gvanas / blahtexml
Blahtexml
☆44Updated 7 months ago
Alternatives and similar repositories for blahtexml:
Users that are interested in blahtexml are comparing it to the libraries listed below
- The CWEB System of Structured Documentation☆29Updated 9 years ago
- Computer calculations made easy☆132Updated 5 months ago
- Literate Programming in C/C++☆30Updated 2 weeks ago
- A PDF library extracted from TeX's dvipdfmx☆25Updated 5 months ago
- A TeX implementation in a single C++11 class.☆17Updated 4 years ago
- Terminal CLI to Mathics3☆59Updated last week
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- A set of files that can be used to create a working version of an early version of the CLU programming language☆36Updated 2 years ago
- LuaTeX package lua-visual-debug☆17Updated 2 years ago
- My unofficial picat http://picat-lang.org/ repository☆28Updated last year
- The Boole Interactive Reasoning Assistant☆27Updated 10 years ago
- Easy MathML authoring tool with a quick to write syntax☆66Updated 7 months ago
- A re-implementation of TeX in Rust to help me understand how it works and to eventually provide a debugging interface☆104Updated 5 months ago
- the Meta-II VM in C☆19Updated 9 years ago
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Updated last year
- JX is a C++ application framework and widget library (SDK) for use with the X Window System.☆29Updated last month
- arbitrary precision arithmetic library☆42Updated 6 years ago
- Library for exact real number computations☆39Updated 9 years ago
- Noweb, a simple literate-programming tool: the never-released, alpha, Lua-based version☆10Updated 8 years ago
- Marpa parse engine C library -- STABLE☆98Updated last year
- Xy-pic extension for MathJax☆61Updated 4 years ago
- Public mirror of https://svn.eiffel.com/eiffelstudio-public/trunk with 12 months delay, see https://github.com/EiffelSoftware/libraries f…☆49Updated last week
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆30Updated 3 weeks ago
- Docker setup for to tie together a number of mathics libraries, and components: Mathics3, mathicsscript, Mathics-Django, etc. This is use…☆30Updated 3 weeks ago
- Provide a reference implementation for the TTM programming language.☆10Updated 10 years ago
- Pads format description language☆21Updated 9 years ago
- mirror of git://git.code.sf.net/p/xetex/code☆26Updated last year
- Lout Document Formatting System☆46Updated 9 months ago
- Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.☆20Updated last week
- OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations☆24Updated 6 months ago