Alternatives and similar repositories for sanscript.java

Users that are interested in sanscript.java are comparing it to the libraries listed below

• virtualvinodh / aksharamukha
  Aksharamukha
  ☆184Updated 3 months ago
• nyusemantics / LambdaCalculatorPublic
  ☆16Updated 2 years ago
• ashtadhyayi-com / data
  Data powering ashtadhyayi.com
  ☆49Updated last month
• gregorio-project / latin-ecclesiastic-accents
  Resources for ecclesiastic accentuation
  ☆22Updated 3 months ago
• shreevatsa / sanskrit
  Tool(s) to help read Sanskrit (and other) metrical verse
  ☆76Updated 9 months ago
• drdhaval2785 / SanskritVerb
  Verb declention for Sanskrit
  ☆42Updated 2 years ago
• samsaadhanii / scl
  ☆23Updated last month
• indic-transliteration / indic_transliteration_py
  Python package for indic script transliteration
  ☆189Updated this week
• ashtadhyayi-com / data-edit
  Place for editing the data backing ashtadhyayi.com
  ☆11Updated this week
• fintelkai / fintel-heim-intensional-notes
  Lecture notes on intensional semantics by Kai von Fintel and Irene Heim
  ☆45Updated 11 months ago
• leanprover-community / logic_and_proof
  ☆11Updated this week
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆59Updated 3 weeks ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆58Updated last month
• Mzk-Levi / texts
  ☆160Updated 10 years ago
• indic-transliteration / common_maps
  ☆10Updated last month
• mikeshulman / basictex
  My basic LaTeX macros and BibTeX file.
  ☆13Updated 2 years ago
• rocq-prover / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆22Updated 2 weeks ago
• t3nsor / quora-backup
  Python scripts to download Quora answers and convert them into a more portable form
  ☆125Updated 4 years ago
• rocq-community / coq-ext-lib
  A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
  ☆132Updated 7 months ago
• rzach / sets-logic-computation
  Textbook on metalogic based on the Open Logic Project
  ☆43Updated 2 weeks ago
• bdchauvette / leipzig.js
  Interlinear glossing for the browser
  ☆46Updated 5 years ago
• xavierleroy / cdf-mech-sem
  Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
  ☆66Updated last year
• kdelwat / Onset
  A language evolution simulator, using realistic phonetic changes.
  ☆38Updated 2 years ago
• coqoon / coqoon
  eclipse plugin to support side-by-side proofs and code
  ☆26Updated 6 years ago
• Alatius / latin-macronizer
  Script to automatically mark long vowels in Latin texts. Also optionally performs conversion of u to v and i to j.
  ☆89Updated last year
• RichardLitt / low-resource-languages
  Resources for conservation, development, and documentation of low resource (human) languages.
  ☆422Updated 3 months ago
• rocq-community / coq-dpdgraph
  Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
  ☆90Updated last month
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆142Updated last month
• bojanczyk / slajdomat
  A program for making zooming slides in figma.
  ☆37Updated 2 weeks ago
• Trequetrum / lean4game-logic
  Make/Encode some basic logic puzzles
  ☆14Updated last year