daalft / PaliNLP2

Related projects ⓘ

Alternatives and complementary repositories for PaliNLP2

• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆131Updated 3 weeks ago
• siongui / pali
  Pāḷi Tipiṭaka and Pāḷi Dictionaries
  ☆30Updated 5 years ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆57Updated 2 months ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆52Updated last week
• dsanson / Words
  A Latin-English Dictionary Program
  ☆41Updated 13 years ago
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆272Updated 4 months ago
• AmpersandTarski / Ampersand
  Build database applications faster than anyone else, and keep your data pollution free as a bonus.
  ☆40Updated last week
• olpa / gf-tokipona
  Describe Toki Pona using Grammatical Framework
  ☆11Updated 4 years ago
• GrammaticalFramework / GF
  Archive of monolithic GF repository until 2018-07-25
  ☆189Updated 6 years ago
• JeffreyBenjaminBrown / hode
  rslt, take five-ish
  ☆149Updated 3 years ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆177Updated last month
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆60Updated 4 months ago
• PerseusDL / treebank_data
  Perseus Treebank Data
  ☆70Updated 5 months ago
• isovector / cornelis
  agda-mode for neovim
  ☆134Updated 3 weeks ago
• amnh / PCG
  𝙋𝙝𝙮𝙡𝙤𝙜𝙚𝙣𝙚𝙩𝙞𝙘 𝘾𝙤𝙢𝙥𝙤𝙣𝙚𝙣𝙩 𝙂𝙧𝙖𝙥𝙝 ⸺ Haskell program and libraries for general phylogenetic graph search
  ☆28Updated 2 years ago
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆69Updated 8 months ago
• Bodigrim / logict
  A continuation-based backtracking logic programming monad
  ☆85Updated last week
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆290Updated this week
• Yuras / pdf-toolbox
  A collection of tools for processing PDF files in Haskell
  ☆180Updated 5 months ago
• formalabstracts / formalabstracts
  ☆159Updated 5 years ago
• ChrisPenner / slick
  Static site generator built on Shake configured in Haskell
  ☆204Updated 3 months ago
• derekelkins / agda-vim
  Agda interaction in vim
  ☆130Updated 3 years ago
• rzach / sets-logic-computation
  Textbook on metalogic based on the Open Logic Project
  ☆36Updated 11 months ago
• parsonsmatt / parsonsmatt.github.io
  My Github pages website
  ☆77Updated 7 months ago
• Euterpea / HSoM
  Supporting Impelementation for Haskell School of Music
  ☆88Updated last year
• aesiniath / publish
  Publishing tools for papers, books, and presentations
  ☆13Updated 5 months ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆53Updated 10 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 7 years ago
• KNowledgeOnWebScale / retina
  Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.
  ☆13Updated last week