☆52Feb 19, 2024Updated 2 years ago
Alternatives and similar repositories for btex
Users that are interested in btex are comparing it to the libraries listed below
Sorting:
- VSCode extension for bTeX.☆20Nov 24, 2023Updated 2 years ago
- ☆208Apr 17, 2024Updated last year
- History of type theory (Chinese).☆359May 25, 2025Updated 9 months ago
- Here is a part of notes of the mathematics classes of CFMATH/in USTC during my undergraduate period.☆17Jan 3, 2026Updated 2 months ago
- Mathematical notes and papers☆27Jan 22, 2026Updated last month
- ☆22Feb 13, 2024Updated 2 years ago
- A set of Gui tools for ruby. My first gem....☆16May 26, 2017Updated 8 years ago
- A transpiler that converts TeX into Unicode (as possible).☆20Jan 26, 2026Updated last month
- A VS Code extension for math preview and other functions.☆59May 6, 2025Updated 10 months ago
- an implementation of Observational Type Theory (OTT) and more☆31Oct 15, 2022Updated 3 years ago
- A Wolfram Language Server☆224Oct 16, 2022Updated 3 years ago
- DevTools and styles for mathematica developers☆30Aug 19, 2020Updated 5 years ago
- A collection of templates for homeworks, cheatpapers and more.☆32Sep 10, 2025Updated 5 months ago
- Compile Wolfram Language functions into C++ code and binary☆130Feb 14, 2021Updated 5 years ago
- Mathematica Markov chain Monte Carlo☆35Jun 28, 2021Updated 4 years ago
- _rqy's codes of OI problems.☆28Jul 11, 2018Updated 7 years ago
- Typst math typesetting for the web.☆90Jul 4, 2025Updated 8 months ago
- Mastodon server running for the Doubanius Tertius project☆10Apr 4, 2022Updated 3 years ago
- This is an arxiv of PhantomGhost's answer (mainly in mathematical physics).☆33Feb 2, 2020Updated 6 years ago
- ☆10Nov 1, 2023Updated 2 years ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆16Feb 24, 2026Updated last week
- ☆10May 3, 2024Updated last year
- Isomorphic JavaScript helper functions (crpyto, performance, ..)☆11Jul 18, 2023Updated 2 years ago
- ☆17Jan 3, 2025Updated last year
- Notes and Code for the University of Waterloo Course PSYCH420☆23Feb 25, 2026Updated last week
- joke page until I decide what to do with this domain name☆39Jun 29, 2025Updated 8 months ago
- Neon lights in the night tonight and stars that shine in the open sky☆46Dec 17, 2023Updated 2 years ago
- A search index specialised for LaTeX equations. Developed for latexsearch.com.☆17Jul 15, 2011Updated 14 years ago
- RWKV Wiki website (archived, please visit official wiki)☆11Mar 26, 2023Updated 2 years ago
- รวม Domain ของบริการอีแอบ☆11Dec 16, 2025Updated 2 months ago
- 🎮 AI plays the game Balatro with CV & LLM combined. Powered by YOLO / RapidOCR (PaddleOCR) / LLM.☆25Oct 24, 2025Updated 4 months ago
- Xiangyun's personal website☆11Updated this week
- This repo contains the benchmarks for Enzyme on GPU's☆11Feb 22, 2026Updated 2 weeks ago
- xgboost复现☆15Oct 6, 2024Updated last year
- Webpage creating BibTeX, HTML and Wiki markup for papers on the arXiv.☆13May 9, 2020Updated 5 years ago
- ☆10May 27, 2025Updated 9 months ago
- OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to…☆40Feb 27, 2026Updated last week
- Equivalent Source Method for Near-field Acoustic Holografy. Project for the Project Course of Polimi Music and Acoustic Engineering☆12Jul 20, 2021Updated 4 years ago
- notes on topos theory (Chinese)☆15Nov 28, 2024Updated last year