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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Jun 9, 2024Updated 2 years ago
- A set of tools, components, and libraries for building interactive math applications.☆14Jan 3, 2025Updated last year
- S. Tucker Taft's M6800 LISP Interpreter (BYTE August 1979)☆14Jan 15, 2024Updated 2 years ago
- KaTeX plugin that adds support for Persian formulas (Persian & Arabic characters and numerals)☆14Jan 14, 2023Updated 3 years ago
- META II compiler, assembler and bytecode interpreter.☆18Jan 20, 2026Updated 4 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Adapton Lab, written in Rust.☆16Sep 6, 2019Updated 6 years ago
- autoexpect for pexpect☆12Apr 23, 2016Updated 10 years ago
- reworking quest, but faster☆11Jul 26, 2025Updated 10 months ago
- A prototope bootstrap project in xcode☆11Feb 1, 2016Updated 10 years ago
- 🧪 Experiments in calling Zig code from MoonBit (via C ABI bridge initially), aiming for direct interop.☆11Apr 7, 2025Updated last year
- ☆14Oct 30, 2024Updated last year
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆24Sep 15, 2018Updated 7 years ago
- ☆19Aug 22, 2024Updated last year
- A tool for laying out figures with geometric constraints☆20Dec 5, 2025Updated 6 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A simple bidirectional type checker☆18Feb 27, 2019Updated 7 years ago
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 5 months ago
- The repository for HKU ENGG1340 Group Project (24/25 Semester 2).☆10Jun 22, 2025Updated 11 months ago
- ☆44Nov 25, 2016Updated 9 years ago
- A terminal text editor written in MoonBit☆10Apr 7, 2025Updated last year
- A metafont-glyphs dataset which facilitate people to define CJK-like glyphs with their metafont scripts by machine learning☆11Oct 26, 2024Updated last year
- Open, hand-typed notes by HKU students, for HKU students.☆18Sep 5, 2025Updated 9 months ago
- ☆11Mar 20, 2025Updated last year
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Aug 29, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Cisco AnyConnect Linux Kernel Module☆11Nov 19, 2018Updated 7 years ago
- Edward Tufte on GitHub☆17Apr 9, 2016Updated 10 years ago
- Clojure as a literate program☆28Jun 20, 2023Updated 2 years ago
- Write games use jok(zig) through MoonBit(wasm).☆16Mar 24, 2025Updated last year
- 【yinglish】淫语翻译机！现以 Perl 版呈现！☆13Dec 13, 2021Updated 4 years ago
- An upgraded version of Kantumruy.☆13Jan 13, 2024Updated 2 years ago
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 4 years ago
- Mechanized baselines for various type system features☆18Apr 14, 2026Updated 2 months ago
- A Python library to add reconstructed pronunciations of Middle Chinese on Chinese texts☆11Mar 13, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A lightweight, WebAssembly-native Canister Development Kit (CDK) for building smart contracts on the Internet Computer (ICP) with the Moo…☆20Dec 9, 2025Updated 6 months ago
- ☆11May 27, 2025Updated last year
- [Abandoned] As mentioned by Pamela Fox ( @pamelafox )☆16Apr 20, 2016Updated 10 years ago
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆11Apr 3, 2026Updated 2 months ago
- Better Fluent integration for JavaScript☆11Mar 6, 2023Updated 3 years ago
- Lint and code-munging tools for Khan Academy codebase☆41Oct 7, 2024Updated last year
- A concrete-syntax tree and parser for the PureScript language☆41May 22, 2019Updated 7 years ago