Alternatives and similar repositories for freetnil

Users that are interested in freetnil are comparing it to the libraries listed below

• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆60Updated 4 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated 2 months ago
• fizyk20 / ithkuil
  A set of tools for analysis of texts in the Ithkuil constructed language
  ☆31Updated 6 years ago
• logicmoo / logicmoo_nlu
  LogicMOO Natural Language Understanding Kit Unified into Prolog
  ☆13Updated 4 years ago
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆77Updated 3 years ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆24Updated 6 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 2 weeks ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆48Updated 2 weeks ago
• trith / trith
  A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.
  ☆70Updated 14 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆26Updated 11 years ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆59Updated last week
• x-raizor / visual-tokipona
  Toki Pona Visual Dictionary with English, Italian and Russian translation in pictures
  ☆32Updated 2 years ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 5 years ago
• christian-oudard / ithkuil
  Tools for the grammar and writing system of the Ithkuil constructed language
  ☆27Updated 2 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆30Updated 7 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆77Updated 3 months ago
• Anniepoo / swipldcgtut
  A tutorial for DCG's in swi-Prolog
  ☆34Updated 4 years ago
• jackhumbert / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆27Updated last year
• olpa / gf-tokipona
  Describe Toki Pona using Grammatical Framework
  ☆11Updated 5 years ago
• UoYCS-plasma / GP2
  The rule-based graph programming language GP 2
  ☆69Updated last year
• eberban / eberban
  Parser and dictionary for the eberban language.
  ☆29Updated this week
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆59Updated last week
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆61Updated last year
• enkiv2 / misc
  things that don't deserve their own repo
  ☆64Updated 3 months ago
• rewriting / tom
  ☆34Updated 5 years ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 8 years ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• lokedhs / array
  Simple array language written in kotlin
  ☆46Updated 2 years ago
• stokito / fortress-lang
  ☆57Updated 8 years ago