Alternatives and similar repositories for freetnil

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

• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated 4 months ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆48Updated 3 weeks ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆60Updated 4 years ago
• logicmoo / logicmoo_nlu
  LogicMOO Natural Language Understanding Kit Unified into Prolog
  ☆13Updated 4 years ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆24Updated 7 years ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆60Updated 2 weeks ago
• jan-Lope / Toki_Pona-Parser
  Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, g…
  ☆51Updated last year
• trith / trith
  A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.
  ☆70Updated 14 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated last month
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆31Updated 8 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆26Updated 11 years ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• x-raizor / visual-tokipona
  Toki Pona Visual Dictionary with English, Italian and Russian translation in pictures
  ☆32Updated 3 years ago
• arcfide / ALE
  arcfide's line editor
  ☆29Updated 2 years ago
• lokedhs / array
  Simple array language written in kotlin
  ☆46Updated 2 years ago
• mcsoto / cosmos
  A new logic programming language.
  ☆175Updated 2 years ago
• fnogatz / plammar
  A Prolog grammar written in Prolog, for parsing and serialising Prolog code.
  ☆15Updated 4 years ago
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆77Updated 3 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆64Updated this week
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 5 years ago
• eberban / eberban
  Parser and dictionary for the eberban language.
  ☆31Updated last month
• vendethiel / trying.apl
  APL is the greatest language ever
  ☆68Updated 11 months ago
• acook / blacklight
  a stack-based concatenative virtual machine for implementing highly concurrent languages
  ☆45Updated last year
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆145Updated last month
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆62Updated last year
• jakebian / kan
  Kan: A browser extension for reading nLab
  ☆31Updated 7 years ago
• jackhumbert / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆28Updated last year
• jqueiroz / lojban.io
  A free and opensource platform for studying the artificial language Lojban.
  ☆93Updated 3 weeks ago
• La-Lojban / sutysisku
  la sutysisku dictionary for Lojban and more
  ☆40Updated last year
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆41Updated last year