siongui / paliLinks
Pāḷi Tipiṭaka and Pāḷi Dictionaries
☆32Updated 6 years ago
Alternatives and similar repositories for pali
Users that are interested in pali are comparing it to the libraries listed below
Sorting:
- tipitaka.org public xml files☆54Updated this week
- A downloadable web application for immersive study of the Pāli language and the Tipitaka.☆42Updated 2 years ago
- ☆18Updated 2 years ago
- Content for SuttaCentral, including texts both legacy and bilara, parallels, structure, and other metadata.☆49Updated this week
- PaliNLP reworked. Version 2.☆16Updated 10 years ago
- DPD releases have moved from here to https://github.com/digitalpalidictionary/dpd-db☆40Updated 10 months ago
- Simsapa Dictionary Tool☆16Updated 2 years ago
- A textbook for the transition to proof course for mathematics majors utilizing IBL.☆50Updated last month
- Applied Discrete Structures using PreTeXt☆45Updated 2 weeks ago
- A library for testing responses of HTTP requests☆11Updated 3 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆46Updated 7 years ago
- Kan: A browser extension for reading nLab☆31Updated 7 years ago
- Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theor…☆26Updated 2 years ago
- Algebra Number Theory book☆48Updated 3 years ago
- A community driven philosophical language☆26Updated 4 years ago
- Group theory visualization software in the browser☆268Updated last year
- Language Forge: Online Collaborative Dictionary Building on the Web and Phone. Replaced by FieldWorks Lite.☆46Updated 3 months ago
- Tim Button's open textbook on set theory☆40Updated 6 months ago
- Development of the univalent foundations of mathematics in Coq☆19Updated 13 years ago
- Online and offline resources for learning foreign languages☆23Updated 3 years ago
- Tag-based webview of LaTeX documents☆31Updated last year
- This repository contains the source html files for the website complex-analysis.com☆18Updated 3 weeks ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆26Updated 5 years ago
- Exercism exercises in Standard ML.☆28Updated 3 weeks ago
- Parser and dictionary for the eberban language.☆31Updated 2 months ago
- Hevea is a fast latex to html translator☆114Updated 2 months ago
- Lecture notes from Cambridge maths☆71Updated last year
- Tools for managing the TeX sources of the Stacks project☆16Updated last year
- Replace Unicode symbols by equivalent Latex commands☆29Updated 3 months ago
- Lean Theorem Prover plugin for Vim.☆16Updated 4 years ago