Mirror of ftp://ftp.cs.uni-sb.de/formulae - "A Functional Description of TeX's Formula Layout"
☆13Oct 15, 2015Updated 10 years ago
Alternatives and similar repositories for formulae
Users that are interested in formulae are comparing it to the libraries listed below
Sorting:
- DEPRECATED REPO Mirror of the TeXmacs svn repository, using git-svn. Also contains guile-2.0 branch from gitorious.org/texmacs/thlai-tex…☆15Oct 6, 2017Updated 8 years ago
- The repository for HKU ENGG1340 Group Project (24/25 Semester 2).☆10Jun 22, 2025Updated 8 months ago
- Open, hand-typed notes by HKU students, for HKU students.☆18Sep 5, 2025Updated 6 months ago
- Implementation of the Little Man Computer for learning Assembly programming in Julia☆12Jul 16, 2022Updated 3 years ago
- ☆29Jul 2, 2025Updated 8 months ago
- Vantage Point Tree in Julia☆13Nov 25, 2020Updated 5 years ago
- Global Address SPace toolbox -- Julia wrapper☆10Nov 17, 2017Updated 8 years ago
- HKU Moodle client that helps fetch deadlines, set reminders, view courses and so on, renovated and rewritten in Flutter.☆14Feb 8, 2025Updated last year
- ☆11Mar 20, 2025Updated 11 months ago
- ☆10May 27, 2025Updated 9 months ago
- Notes and utilities for reverse engineering Agilent PCIe Protocol Analyzers and their host software.☆14Oct 9, 2025Updated 5 months ago
- Duality of view between named variables and flat vectors in Julia☆12Nov 25, 2025Updated 3 months ago
- ☆29Aug 26, 2014Updated 11 years ago
- Userspace I/O library for Xilinx AXI S2MM DMA☆11Sep 9, 2025Updated 6 months ago
- Forkable code execution server for LLMs, agents, and devs☆14May 7, 2025Updated 10 months ago
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 3 years ago
- Create an optimal diet from USDA's food composition database using linear programming.☆11Apr 19, 2023Updated 2 years ago
- Related language translation editor☆11Updated this week
- A Julia implementation of the RAM algorithm (Vihola, 2012)☆11Sep 5, 2022Updated 3 years ago
- Revision notes for the course HKU COMP2120 - Computer Organisation written in LaTeX.☆12May 22, 2025Updated 9 months ago
- Class materials, homeworks and videos for probation preparation.☆19Feb 3, 2026Updated last month
- DEPRECATED: Regularised Empirical Risk Minimisation Framework (SVMs, LogReg, Linear Regression) in Julia☆16Aug 9, 2016Updated 9 years ago
- 🧪 Experiments in calling Zig code from MoonBit (via C ABI bridge initially), aiming for direct interop.☆12Apr 7, 2025Updated 11 months ago
- generate sub font and store to new ttf/woff file☆11Nov 3, 2014Updated 11 years ago
- MoonBit language interpreter☆14Feb 26, 2026Updated last week
- CalvinFS project using C/C++☆12May 25, 2017Updated 8 years ago
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 2 months ago
- Monad implementation in Julia☆13Dec 14, 2020Updated 5 years ago
- A curated list of projects and resources using BAML☆17Aug 1, 2025Updated 7 months ago
- ☆15Feb 14, 2012Updated 14 years ago
- A terminal text editor written in MoonBit☆11Apr 7, 2025Updated 11 months ago
- Adds a macro (`@api`) to help manage a consistent API between multiple packages☆10May 18, 2021Updated 4 years ago
- ☆14Oct 30, 2024Updated last year
- Mechanized baselines for various type system features☆18Updated this week
- A collection of example workflows for GitHub Actions that are used for Julia projects and packages.☆13Apr 28, 2020Updated 5 years ago
- S. Tucker Taft's M6800 LISP Interpreter (BYTE August 1979)☆14Jan 15, 2024Updated 2 years ago
- ☆16Jun 9, 2024Updated last year
- Better Fluent integration for JavaScript☆11Mar 6, 2023Updated 3 years ago
- Immutable persistent data structures for C++☆12Nov 24, 2013Updated 12 years ago