VSCode extension for bTeX.
☆20Nov 24, 2023Updated 2 years ago
Alternatives and similar repositories for vscode-btex
Users that are interested in vscode-btex are comparing it to the libraries listed below
Sorting:
- ☆52Feb 19, 2024Updated 2 years ago
- ☆10May 27, 2025Updated 9 months ago
- RPG☆17Oct 9, 2017Updated 8 years ago
- A review article on conformal field theory☆20Updated this week
- My bridge.☆19Dec 27, 2025Updated 2 months ago
- A pretty-printer for Mathematica language, working on the box level☆33Jun 25, 2019Updated 6 years ago
- ☆22Feb 13, 2024Updated 2 years ago
- an implementation of Observational Type Theory (OTT) and more☆31Oct 15, 2022Updated 3 years ago
- 𒂗𒈨𒅕𒃸: a Sumero-Akkadian cuneiform input method for macOS and Windows.☆35Sep 12, 2025Updated 5 months ago
- ☆208Apr 17, 2024Updated last year
- A generalized ESPRIT algorithm for MATLAB☆15Jan 28, 2021Updated 5 years ago
- Tutorial for debugging neo3 blockchain and smart contracts at source code and neo-vm assembly level (mainly for Windows). Feel free to wr…☆33Feb 25, 2025Updated last year
- Read definitions of in-memory Mathematica functions with ease☆50Jan 28, 2020Updated 6 years ago
- History of type theory (Chinese).☆360May 25, 2025Updated 9 months ago
- 下载豆瓣电子书☆10Apr 25, 2017Updated 8 years ago
- ☆11Dec 30, 2020Updated 5 years ago
- A Google Chrome extension to open/edit latex files online using www.overleaf.com without the need of any software to be installed.☆10Dec 16, 2016Updated 9 years ago
- ☆10May 3, 2024Updated last year
- A Discord bot that replaces twitter URLs with vxtwitter for videos and GIFs.☆13Feb 25, 2023Updated 3 years ago
- ☆16Oct 24, 2021Updated 4 years ago
- A Mathematica Package for Cooperative Game Theory☆11Jun 6, 2024Updated last year
- ☆12Jan 4, 2023Updated 3 years ago
- ☆10Nov 1, 2023Updated 2 years ago
- Isomorphic JavaScript helper functions (crpyto, performance, ..)☆11Jul 18, 2023Updated 2 years ago
- joke page until I decide what to do with this domain name☆39Jun 29, 2025Updated 8 months ago
- Repository for Stellaris Immortal alpha☆17May 9, 2020Updated 5 years ago
- The jvav progrmaing luanguage : Jvav 与 您 共 同 下 载☆36Apr 26, 2021Updated 4 years ago
- Basic Unicode support for Lean 4☆15Updated this week
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- Another modified PuTTY.☆12Feb 28, 2017Updated 9 years ago
- Tools I've written in Python which are useful/necessary for my research☆10Jul 3, 2018Updated 7 years ago
- My type-ups for copilot to learn from.☆11Aug 30, 2022Updated 3 years ago
- toy project to learn about the memory usage of different workloads with different allocators☆10Mar 30, 2023Updated 2 years ago
- Rigorous moment propagation with partial information about moments and dependencies in Julia☆12May 7, 2022Updated 3 years ago
- Resources to look at in concert with my Haskell videos☆15Aug 12, 2022Updated 3 years ago
- 我的软考中级（软件设计师）经验与资料☆18Jun 26, 2025Updated 8 months ago
- Jupyter wrapper kernel for singular☆11Jun 12, 2024Updated last year
- Free, open-source applications to convert between drum MIDI mappings☆12May 12, 2023Updated 2 years ago
- Additional features supporting paclets in Mathematica☆15Oct 3, 2017Updated 8 years ago