daalft / PaliNLP2

Related projects: ⓘ

• nyusemantics / LambdaCalculator
  ☆38Updated this week
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆129Updated 2 weeks ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆52Updated 2 weeks ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆57Updated 2 weeks ago
• amnh / PCG
  𝙋𝙝𝙮𝙡𝙤𝙜𝙚𝙣𝙚𝙩𝙞𝙘 𝘾𝙤𝙢𝙥𝙤𝙣𝙚𝙣𝙩 𝙂𝙧𝙖𝙥𝙝 ⸺ Haskell program and libraries for general phylogenetic graph search
  ☆28Updated 2 years ago
• dsanson / Words
  A Latin-English Dictionary Program
  ☆41Updated 13 years ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆54Updated 3 years ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆174Updated last week
• turion / rhine
  Haskell Functional Reactive Programming framework with type-level clocks
  ☆121Updated this week
• rawlins / lambda-notebook
  Lambda Notebook: Formal Semantics in Jupyter
  ☆24Updated 3 weeks ago
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆60Updated 2 months ago
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆24Updated this week
• jwiegley / coq-haskell
  A library for formalizing Haskell types and functions in Coq
  ☆164Updated 11 months ago
• scott-fleischman / greek-grammar
  Modeling Ancient Greek Grammar
  ☆50Updated 6 years ago
• cbeav / symspell
  Haskell implementation of the SymSpell spelling correction algorithm
  ☆9Updated 5 years ago
• olpa / gf-tokipona
  Describe Toki Pona using Grammatical Framework
  ☆11Updated 4 years ago
• leon-vv / Todo
  Idris Todo web application example
  ☆42Updated last year
• DataHaskell / dh-core
  Functional data science
  ☆139Updated 2 years ago
• bdchauvette / leipzig.js
  Interlinear glossing for the browser
  ☆45Updated 4 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆67Updated last week
• ayberkt / grammar-inference
  Learning rigid grammars in Haskell.
  ☆24Updated 6 years ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆49Updated last week
• Daniel-Diaz / HaTeX
  The Haskell LaTeX library.
  ☆199Updated 11 months ago
• CategoricalData / hydra
  Transformations transformed
  ☆71Updated this week
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆134Updated 10 months ago
• stefan-hoeck / idris2-pack
  ☆98Updated last week
• Andromedans / andromeda
  A proof assistant for general type theories
  ☆297Updated 2 years ago
• vvulpes0 / Language-Toolkit-2
  A set of tools for analyzing languages via logic and automata
  ☆23Updated 4 months ago
• andrew-bedford / coqatoo
  Generates natural language versions of Coq proofs
  ☆51Updated 6 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆68Updated last month