russianwordnet / yarn

Related projects ⓘ

Alternatives and complementary repositories for yarn

• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆69Updated 7 months ago
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 6 years ago
• olpa / gf-tokipona
  Describe Toki Pona using Grammatical Framework
  ☆11Updated 4 years ago
• christian-oudard / ithkuil
  Tools for the grammar and writing system of the Ithkuil constructed language
  ☆27Updated last year
• Attempto / Clex
  Large lexicon for APE (~100,000 entries)
  ☆28Updated 6 years ago
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated last week
• lakmeer / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆18Updated 5 years ago
• vslab / YieldProlog
  A Prolog implementation based on generators
  ☆18Updated 10 years ago
• ronwalf / swoop
  Automatically exported from code.google.com/p/swoop
  ☆33Updated 9 years ago
• fnogatz / tap
  Write TAP tests with SWI-Prolog
  ☆12Updated last year
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆60Updated 3 months ago
• Kaljurand / aceview
  ACE View is a natural language based ontology and rule editor. ACE View uses Attempto Controlled English (ACE) in the front-end, and Web …
  ☆8Updated 5 years ago
• jackhumbert / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆23Updated 10 months ago
• dajobe / raptor
  Redland Raptor RDF syntax library
  ☆157Updated 3 months ago
• cosminbasca / surfrdf
  SuRF: a python Object RDF Mapper (ORM).
  ☆42Updated 3 years ago
• CLLKazan / OntoMathPro
  This ontology is a Linked Data Hub for mathematics
  ☆57Updated 9 months ago
• GrammaticalFramework / GF
  Archive of monolithic GF repository until 2018-07-25
  ☆189Updated 6 years ago
• AlainCouthures / xsltforms
  XForms to XHTML+Javascript (AJAX) conversion based on a unique XSL transformation. Suitable server-side (PHP) or client-side (Google Chro…
  ☆37Updated 6 years ago
• edwardcrichton / BToolkit
  The BToolkit, a toolkit supporting software development with the B-method.
  ☆34Updated 6 months ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• njh / redstore
  RedStore is a lightweight RDF triplestore written in C using the Redland library.
  ☆62Updated 3 years ago
• darius / cogen
  Compiler generator (3rd Futamura projection) for first-order Scheme
  ☆14Updated 8 years ago
• aindilis / frdcsa-panoply-git-20200329
  How to run Panoply Git GNU/Linux (the version of FRDCSA made by combining all of the redacted GitHub FRDCSA codebases)
  ☆9Updated last year
• jackhumbert / zbalermorna-upright-font
  ☆17Updated 5 years ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆53Updated 15 years ago
• gruninger / colore
  Automatically exported from code.google.com/p/colore
  ☆69Updated 7 months ago
• ClioPatria / ClioPatria
  ClioPatria provides an RDF application platform
  ☆52Updated 8 months ago
• information-artifact-ontology / IAO
  information artifact ontology
  ☆77Updated 6 months ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆15Updated 2 years ago
• mndrix / prolog_library_ideas
  Random ideas about libraries for Prolog
  ☆12Updated 8 years ago
• thomasrebele / bashlog
  Answering Datalog Queries with Unix Shell Commands
  ☆23Updated 8 months ago