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 relational interpretation of Lojban☆33Updated 4 months ago
- Describe Toki Pona using Grammatical Framework☆11Updated 5 years ago
- A free and opensource platform for studying the artificial language Lojban.☆88Updated last week
- ☆64Updated 2 years ago
- Lambda Calculus compiler for Codewars☆16Updated last year
- Parser and dictionary for the eberban language.☆28Updated 2 weeks ago
- Programming with pure lambda calculus☆108Updated last month
- A featureful sound change applier for language construction☆34Updated 4 months ago
- A next-gen, massively parallel, beta-optimal functional runtime.☆10Updated 3 years ago
- Functional golfing language inspired by Haskell.☆78Updated 4 years ago
- A sudoku game where you have to prove that your deductions are valid☆113Updated 2 years ago
- o sitelen e sitelen pona lon ilo mute a!☆45Updated 2 weeks ago
- File format and optimizer for programs encoded in binary lambda calculus☆13Updated last year
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆60Updated this week
- Peter Selinger's LaTeX macros for Fitch style natural deduction☆12Updated last year
- A modern proof language☆8Updated 4 years ago
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆25Updated last year
- Agda as a collaborative multiplayer game☆36Updated 7 months ago
- la sutysisku dictionary for Lojban and more☆38Updated last year
- A Language with Dependent Data and Codata Types☆105Updated this week
- Book about using Lean with How To Prove It☆18Updated last week
- Climb into Cantor’s Attic, where you will find infinities large and small. We aim to provide a comprehensive resource of information abou…☆31Updated last year
- The Slate Interactive Theorem Prover☆23Updated 2 years ago
- 2D chess pieces made by simple shapes, playable on http://lichess.org preview: https://youtu.be/NqBpmSVooks☆10Updated 9 years ago
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆22Updated 2 months ago
- Nix overlay for Lean 4, and lake2nix☆44Updated this week
- An experimental non-deterministic concatenative golfing language☆24Updated 2 months ago
- Yoneda lemma in every known language☆17Updated 2 years ago
- Syng: A syntactic approach to concurrent separation logic with propositional ghost state, fully mechanized in Agda☆11Updated 2 years ago
- Language Server for Agda☆112Updated 5 months ago