Philosophical-Language-Group / freetnil
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
- a constructed language, that combines the parts of Ithkuil I find interesting with the parts of Toki Pona I find cute and learnable☆24Updated last year
- Describe Toki Pona using Grammatical Framework☆11Updated 4 years ago
- A relational interpretation of Lojban☆33Updated last month
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆48Updated 3 weeks ago
- Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, g…☆49Updated 5 months ago
- ☆32Updated 2 years ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆56Updated 3 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 14 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated 10 months ago
- A free and opensource platform for studying the artificial language Lojban.☆85Updated 4 months ago
- Freeputer ( ) [ ] { } forever free☆39Updated 6 years ago
- Lojban ologs (categorical databases) using jq☆23Updated 6 years ago
- Simple array language written in kotlin☆47Updated 2 years ago
- Lua implemented in Mercury☆14Updated last year
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆57Updated 10 months ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Updated 8 years ago
- Parser and dictionary for the eberban language.☆25Updated this week
- arcfide's line editor☆27Updated last year
- Extended DCG syntax for Prolog by Peter Van Roy☆21Updated 7 years ago
- Fast, simplified WAM-based Prolog system☆21Updated 2 years ago
- A general purpose statically-typed concatenative programming language.☆53Updated last year
- Community contributions to the Grammatical Framework☆61Updated 8 months ago
- Like APL, but with emojis☆15Updated 2 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- Compiler that has been integrated into Okami now☆24Updated 2 years ago
- ☆31Updated 2 months ago
- ☆54Updated 8 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆21Updated 6 months ago