Philosophical-Language-Group / freetnilLinks
A community driven philosophical language
☆26Updated 4 years ago
Alternatives and similar repositories for freetnil
Users that are interested in freetnil are comparing it to the libraries listed below
Sorting:
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆49Updated 2 weeks ago
- Tools for the grammar and writing system of the Ithkuil constructed language☆27Updated 2 years ago
- A relational interpretation of Lojban☆34Updated 5 months ago
- A set of tools for analysis of texts in the Ithkuil constructed language☆31Updated 6 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Updated 4 years ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆60Updated 4 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 7 years ago
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆28Updated 2 years ago
- things that don't deserve their own repo☆63Updated 6 months ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 14 years ago
- ☆36Updated 11 months ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Updated 4 years ago
- Toki Pona Visual Dictionary with English, Italian and Russian translation in pictures☆32Updated 3 years ago
- ☆20Updated 8 years ago
- Simple array language written in kotlin☆46Updated 2 years ago
- Art of Prolog Code☆36Updated 6 years ago
- Extended DCG syntax for Prolog by Peter Van Roy☆21Updated 7 years ago
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 3 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated last month
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Updated 11 years ago
- SETL4 brings the raw power and speed of SPITBOL to non-numeric computation using set-theoretic constructs.☆13Updated 6 years ago
- The Heterogeneous Tool Set☆59Updated 2 months ago
- Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, g…☆52Updated last year
- JavaScript library to turn Toki Pona text into the Sitelen Sitelen or Sitelen Suwi non-linear writing style.☆73Updated last month
- ☆58Updated 8 years ago
- ☆62Updated last month
- Animated programming language for children of all ages☆58Updated 2 years ago
- A tutorial for DCG's in swi-Prolog☆35Updated 4 years ago
- A new logic programming language.☆175Updated 2 years ago
- ☆55Updated 11 months ago