Fast lojban dictionary https://foldr.moe/lidysisku/
☆15Feb 11, 2026Updated 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☆36Jul 22, 2025Updated 7 months ago
- ☆56Jan 10, 2026Updated last month
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆30Dec 15, 2023Updated 2 years ago
- A Chip's Challenge/Tile World TASing emulator☆13Jun 23, 2024Updated last year
- foobar2000 macOS components: SimPlaylist, Playlist Organizer, Waveform Seekbar, Last.fm Scrobbler☆32Feb 24, 2026Updated last week
- The online collaborative dictionary for the constructed language Toaq.☆14Feb 18, 2026Updated 2 weeks ago
- A JS and Cartesi-compatible implementation of Creepts game☆10Jul 23, 2025Updated 7 months ago
- 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☆14Apr 2, 2025Updated 11 months ago
- ☆19Jun 8, 2021Updated 4 years ago
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆11Nov 14, 2024Updated last year
- It isn't dnethack. It is notdnethack now I guess.☆11Mar 1, 2026Updated last week
- Pioneer Scout Plus☆11Dec 27, 2016Updated 9 years ago
- A next-gen, massively parallel, beta-optimal functional runtime.☆10Jan 3, 2022Updated 4 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
- Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.☆13Mar 28, 2017Updated 8 years ago
- A balanced unbounded interval-tree in Rust with associated values in the nodes☆13Nov 22, 2022Updated 3 years ago
- Sequent Voting Portal UI☆10Nov 20, 2025Updated 3 months ago
- Android SDK for ActiveLook eyewear☆15Oct 28, 2025Updated 4 months ago
- Luanti's most advanced cheat client☆17Feb 5, 2026Updated last month
- Last.fm scrobbler for foobar2000 macOS☆24Updated this week
- Plugin using ships, outfits, or other resources from plugins by other creators or derivatives of their original creations. Some content …☆13Nov 22, 2025Updated 3 months ago
- My personal dark theme for Visual Studio Code.☆10Feb 28, 2024Updated 2 years ago
- it sux0rs up all the web☆14Jun 8, 2022Updated 3 years ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆16Updated this week
- See when your matches made their Tinder + reverse image search☆17Jan 5, 2025Updated last year
- 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 month
- A template for creating journals in Typst☆12May 14, 2023Updated 2 years ago
- Machine-checked Agda formalization for the ILC project☆15Apr 6, 2018Updated 7 years ago
- AOSP Integration for Magisk☆15May 12, 2024Updated last year
- OCaml library for partially ordered maps☆15Nov 28, 2025Updated 3 months ago
- Peter Selinger's LaTeX macros for Fitch style natural deduction☆19Dec 17, 2023Updated 2 years ago
- Build a world starting from a small island in the sky.☆13Dec 4, 2025Updated 3 months ago
- Linux package manager for GitHub releases - like Obtainium for Linux☆42Jan 6, 2026Updated 2 months ago
- Puzzle game: connect all terminals to the server☆20Jan 18, 2021Updated 5 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
- Binary rational numbers in Coq [maintainer=@herbelin]☆15Dec 30, 2023Updated 2 years ago
- Repository to replicate the Enigma Machine and the Turing-Welchman Bombe☆12Jun 19, 2019Updated 6 years ago
- IronHarch is a recreation of the famous Archero game, made entirely in JavaScript, HTML, and CSS for the IronHack Module 1 project.☆14Jan 21, 2026Updated last month