siongui / paliLinks
Pāḷi Tipiṭaka and Pāḷi Dictionaries
☆32Updated 7 years ago
Alternatives and similar repositories for pali
Users that are interested in pali are comparing it to the libraries listed below
Sorting:
- Data files for Pāḷi Tipiṭaka, Pāḷi Dictionaries, and external libraries☆20Updated 7 years ago
- tipitaka.org public xml files☆55Updated this week
- PaliNLP reworked. Version 2.☆16Updated 10 years ago
- SuttaCentral website application☆159Updated this week
- Parser and dictionary for the eberban language.☆31Updated this week
- Source code for the nLab☆200Updated 10 months ago
- Metamath program - source code for the Metamath executable☆91Updated last month
- Perfectoid spaces in the Lean formal theorem prover.☆129Updated last year
- Kan: A browser extension for reading nLab☆33Updated 7 years ago
- Applied Discrete Structures using PreTeXt☆45Updated last month
- Development of the univalent foundations of mathematics in Coq☆19Updated 13 years ago
- ☆36Updated 2 weeks ago
- Metamath source file for logic and set theory☆302Updated last week
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆46Updated 7 years ago
- Tag-based webview of LaTeX documents☆32Updated last year
- Tim Button's open textbook on set theory☆41Updated 7 months ago
- Git integration for the Wolfram Language☆132Updated 3 years ago
- Tasty Bits of Several Complex Variables, graduate textbook☆19Updated 3 weeks ago
- 💧 Liquid Tensor Experiment☆220Updated 2 years ago
- Synchronization for TeX☆82Updated 5 months ago
- Content for SuttaCentral, including texts both legacy and bilara, parallels, structure, and other metadata.☆49Updated this week
- SVG glyphs for sitelen sitelen☆24Updated 2 years ago
- metamath proof enumerators and other things☆92Updated 2 months ago
- types for various combinatory systems, especialy tree calculi☆24Updated last year
- Group theory visualization software in the browser☆273Updated last year
- TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.☆25Updated 3 months ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆58Updated 11 years ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆40Updated 5 months ago
- Source of metamath book☆53Updated 2 years ago
- LSPServer is a package that implements the Language Server Protocol for Wolfram Language and allows a Wolfram Language kernel to run as a…☆54Updated 3 years ago