lynn / lidysiskuView external linksLinks
Fast lojban dictionary https://foldr.moe/lidysisku/
☆15Updated this week
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☆36Jul 22, 2025Updated 6 months ago
- ☆56Jan 10, 2026Updated last month
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆29Dec 15, 2023Updated 2 years ago
- A Chip's Challenge/Tile World TASing emulator☆13Jun 23, 2024Updated last year
- A JS and Cartesi-compatible implementation of Creepts game☆10Jul 23, 2025Updated 6 months ago
- The online collaborative dictionary for the constructed language Toaq.☆14Updated this week
- ☆19Jun 8, 2021Updated 4 years ago
- A next-gen, massively parallel, beta-optimal functional runtime.☆10Jan 3, 2022Updated 4 years ago
- It isn't dnethack. It is notdnethack now I guess.☆11Feb 3, 2026Updated last week
- Shell script to modify System information of Windows 10 Virtual Machine on VBox☆11Jul 20, 2020Updated 5 years ago
- Utilities to create videos from MuseScore files☆13Apr 2, 2025Updated 10 months ago
- Android SDK for ActiveLook eyewear☆15Oct 28, 2025Updated 3 months ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆12Dec 2, 2025Updated 2 months ago
- Sequent Voting Portal UI☆10Nov 20, 2025Updated 2 months ago
- A balanced unbounded interval-tree in Rust with associated values in the nodes☆13Nov 22, 2022Updated 3 years ago
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆11Nov 14, 2024Updated last year
- Pioneer Scout Plus☆11Dec 27, 2016Updated 9 years ago
- Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.☆13Mar 28, 2017Updated 8 years ago
- Install and uninstall Go package in isolated path, to keep your `GOPATH/pkg` clean. Like `pipx`, but for Go.☆13Jul 15, 2024Updated last year
- Machine-checked Agda formalization for the ILC project☆15Apr 6, 2018Updated 7 years ago
- it sux0rs up all the web☆14Jun 8, 2022Updated 3 years ago
- Plugin using ships, outfits, or other resources from plugins by other creators or derivatives of their original creations. Some content …☆13Nov 22, 2025Updated 2 months ago
- AOSP Integration for Magisk☆15May 12, 2024Updated last year
- A template for creating journals in Typst☆12May 14, 2023Updated 2 years ago
- Luanti's most advanced cheat client☆17Feb 5, 2026Updated last week
- Linux package manager for GitHub releases - like Obtainium for Linux☆40Jan 6, 2026Updated last month
- See when your matches made their Tinder + reverse image search☆16Jan 5, 2025Updated last year
- Last.fm scrobbler for foobar2000 macOS☆23Jan 29, 2026Updated 2 weeks ago
- A mobile-focused platform with the goal of leveraging the capabilities of OpenLaw's templates in order to offer the ability to execute a …☆12Feb 4, 2026Updated last week
- Peter Selinger's LaTeX macros for Fitch style natural deduction☆19Dec 17, 2023Updated 2 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆15Dec 30, 2023Updated 2 years ago
- Build a world starting from a small island in the sky.☆13Dec 4, 2025Updated 2 months ago
- Repository to replicate the Enigma Machine and the Turing-Welchman Bombe☆12Jun 19, 2019Updated 6 years ago
- Immutable (a.k.a. persistent or pure-functional) deque, set, and map data structures in portable Scheme.☆14Sep 14, 2020Updated 5 years ago
- Puzzle game: connect all terminals to the server☆20Jan 18, 2021Updated 5 years ago
- OCaml library for partially ordered maps☆15Nov 28, 2025Updated 2 months ago
- Home of the operational semantics team, used primarily for procedural items☆20Jan 4, 2025Updated last year
- Gopher browser☆13May 15, 2022Updated 3 years ago
- haha I'm graduating☆14Jul 22, 2021Updated 4 years ago