lynn / lidysiskuLinks
Fast lojban dictionary https://foldr.moe/lidysisku/
☆14Updated this week
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.☆94Updated 2 weeks ago
- glyph-based language that transpiles to python (for now…)☆24Updated this week
- A wiki for collaborative work on totally legitimate "category theory"☆132Updated last year
- Programming with pure lambda calculus☆136Updated 3 weeks ago
- Climb into Cantor’s Attic, where you will find infinities large and small. We aim to provide a comprehensive resource of information abou…☆33Updated 2 years ago
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- Parser and dictionary for the eberban language.☆31Updated 2 months ago
- Agda as a collaborative multiplayer game☆37Updated last year
- Functional golfing language inspired by Haskell.☆79Updated 4 years ago
- Describe Toki Pona using Grammatical Framework☆11Updated 5 years ago
- A next-gen, massively parallel, beta-optimal functional runtime.☆10Updated 3 years ago
- JavaScript library to turn Toki Pona text into the Sitelen Sitelen or Sitelen Suwi non-linear writing style.☆73Updated last month
- Book about using Lean with How To Prove It☆24Updated last week
- mi pana sona pi nasin toki mi lon lipu ni☆182Updated last year
- ☆64Updated 3 years ago
- Lambda Calculus compiler for Codewars☆17Updated 2 months ago
- a simple language with a 1000 character interpreter inspired by toki pona☆82Updated 3 years ago
- A featureful sound change applier for language construction☆42Updated 2 months ago
- A relational interpretation of Lojban☆34Updated 5 months ago
- Animations of lambda term reduction sequences☆156Updated 7 years ago
- agda-mode for neovim☆172Updated last month
- Font for sitelen pona☆135Updated 3 years ago
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆28Updated 2 years ago
- Natural Number Game☆269Updated 3 months ago
- A codegolf language for mortals☆34Updated 2 weeks ago
- ☆351Updated 3 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆411Updated this week
- Type-driven syntactic and semantic effectful parsing for NL☆15Updated last month
- Fork of Python with some terrible custom features hacked in☆14Updated 3 years ago
- Try It Online clone: online sandbox environment for testing code in a variety of languages☆68Updated 3 weeks ago