lynn / lidysiskuLinks
Fast lojban dictionary https://foldr.moe/lidysisku/
☆14Updated 3 weeks ago
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.☆91Updated 3 weeks ago
- glyph-based language that transpiles to python (for now…)☆24Updated this week
- Functional golfing language inspired by Haskell.☆78Updated 4 years ago
- A relational interpretation of Lojban☆34Updated 3 months ago
- A next-gen, massively parallel, beta-optimal functional runtime.☆10Updated 3 years ago
- ☆10Updated 3 years ago
- a simple language with a 1000 character interpreter inspired by toki pona☆82Updated 3 years ago
- Programming with pure lambda calculus☆127Updated this week
- An open-source toki pona course☆47Updated 3 months ago
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- agda-mode for neovim☆168Updated last week
- o sitelen e sitelen pona lon ilo mute a!☆46Updated 5 months ago
- Like APL, but with emojis☆15Updated 3 years ago
- Climb into Cantor’s Attic, where you will find infinities large and small. We aim to provide a comprehensive resource of information abou…☆32Updated last year
- Try It Online clone: online sandbox environment for testing code in a variety of languages☆66Updated this week
- A constructive proof assistant for second order logic.☆35Updated last year
- A wiki for collaborative work on totally legitimate "category theory"☆125Updated last year
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆403Updated this week
- Describe Toki Pona using Grammatical Framework☆11Updated 5 years ago
- metamath proof enumerators and other things☆91Updated last week
- BQN programming language vscode plugin (symbol input, syntax highlighting)☆22Updated last year
- An experimental non-deterministic concatenative golfing language☆24Updated this week
- Book about using Lean with How To Prove It☆22Updated last month
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆27Updated last year
- Stax Golfing Language☆42Updated 2 years ago
- Fork of Python with some terrible custom features hacked in☆15Updated 3 years ago
- A TIO clone☆12Updated last year
- Haskell Tiny Game Jam☆171Updated 2 years ago
- HoTTEST Summer School materials☆314Updated 5 months ago
- Set Theory Game☆20Updated last week