lynn / lidysiskuLinks
Fast lojban dictionary https://foldr.moe/lidysisku/
☆14Updated last month
Alternatives and similar repositories for lidysisku
Users that are interested in lidysisku are comparing it to the libraries listed below
Sorting:
- A free and opensource platform for studying the artificial language Lojban.☆88Updated last week
- Programming with pure lambda calculus☆117Updated last month
- The online collaborative dictionary for the constructed language Toaq.☆14Updated 2 weeks ago
- Parser and dictionary for the eberban language.☆28Updated last week
- JavaScript library to turn Toki Pona text into the Sitelen Sitelen or Sitelen Suwi non-linear writing style.☆72Updated last year
- o sitelen e sitelen pona lon ilo mute a!☆45Updated 2 months ago
- A relational interpretation of Lojban☆34Updated 3 weeks ago
- new sitelen pona font☆32Updated 11 months ago
- An open-source toki pona course☆47Updated 3 weeks ago
- A modern proof language☆8Updated 4 years ago
- SVG glyphs for sitelen sitelen☆25Updated last year
- Describe Toki Pona using Grammatical Framework☆11Updated 5 years ago
- An experimental non-deterministic concatenative golfing language☆24Updated 2 weeks ago
- nasin sitelen tan anpa nanpa☆123Updated 4 months ago
- ☆322Updated 4 months ago
- glyph-based language that transpiles to python (for now…)☆21Updated this week
- A sudoku game where you have to prove that your deductions are valid☆115Updated 2 years ago
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆26Updated last year
- Agda as a collaborative multiplayer game☆37Updated 9 months ago
- Functional golfing language inspired by Haskell.☆78Updated 4 years ago
- mi pana sona pi nasin toki mi lon lipu ni☆173Updated 11 months ago
- An online, interactive toki pona dictionary which uses public data about popular words and compounds.☆65Updated last week
- a simple language with a 1000 character interpreter inspired by toki pona☆81Updated 3 years ago
- Discord bot for a toki pona dictionary, writing systems, and extra things☆22Updated this week
- ☆64Updated 2 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆118Updated last year
- Lambda Calculus compiler for Codewars☆16Updated last year
- A featureful sound change applier for language construction☆37Updated 6 months ago
- agda-mode for neovim☆162Updated 2 weeks ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆388Updated this week