A program with no practical utility
☆23Mar 15, 2016Updated 9 years ago
Alternatives and similar repositories for llull
Users that are interested in llull are comparing it to the libraries listed below
Sorting:
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆20Dec 20, 2021Updated 4 years ago
- Reification of data structures using observable sharing☆30Oct 27, 2024Updated last year
- A monad, perhaps.☆32Feb 10, 2020Updated 6 years ago
- An assistant for betting on prediction markets on manifold.markets, utilizing OpenAI's GPT APIs.☆35Jan 9, 2024Updated 2 years ago
- Repository containing Anki Flashcards & source code to hopefully learn/revise any language☆11Jan 30, 2026Updated last month
- GitHub Action for using the nixbuild.net service☆50Nov 11, 2025Updated 3 months ago
- Constraint-based generics☆50Jan 6, 2026Updated 2 months ago
- ☆36Jul 30, 2018Updated 7 years ago
- Split ELAN Annotation Files and corresponding speech files into a corpus format for common ASR and Forced Aligners☆11Oct 15, 2018Updated 7 years ago
- 🧬 an evolving design philosophy (masquerading as a color scheme)☆11Dec 8, 2025Updated 2 months ago
- Cycling Level of Stress Map☆10Jan 19, 2018Updated 8 years ago
- Where I keep my config files for other to look at and use☆12May 27, 2021Updated 4 years ago
- Flappy Space Program☆18May 5, 2014Updated 11 years ago
- Choose today's text☆12Dec 9, 2022Updated 3 years ago
- DApp for a list of validators with metadata for POA Network (Core/Sokol). Validators can update metadata using DApp.☆14Apr 18, 2023Updated 2 years ago
- Ship name utilities for Urbit☆11Mar 14, 2020Updated 5 years ago
- Internet Chess ToolKit is a java based set of libraries and widgets useful for performing common tasks such as reading PGN, FEN, and gene…☆12Feb 22, 2017Updated 9 years ago
- a sharable language☆15Jan 20, 2025Updated last year
- Random music synthesis in Python. Still a work in progress.☆10Apr 13, 2020Updated 5 years ago
- 🚛 Create & run lightweight Arch Linux containers☆12Mar 13, 2022Updated 3 years ago
- Generate sandbox buildable Nix expression from Mix lock file☆12Dec 19, 2025Updated 2 months ago
- Metalanguage analysis☆10Dec 10, 2018Updated 7 years ago
- vim text objects for haskell☆17Oct 26, 2015Updated 10 years ago
- Java based Discord bot for OCW Discord using JDA☆12Jan 26, 2026Updated last month
- Command-line spaced repetition scheduler.☆10Mar 8, 2015Updated 10 years ago
- Import from the Tiled map editor.☆16Sep 17, 2018Updated 7 years ago
- bash loop to run tasks in the background. used as an anacron alternative☆13Nov 12, 2024Updated last year
- Cloud music integration for your desktop (Mirror)☆11Nov 6, 2021Updated 4 years ago
- ☆10Updated this week
- XML / HTML / XHTML markup language generator for Hy☆10Aug 4, 2017Updated 8 years ago
- Tools for exporting subscriptions from Apple Podcasts on macOS as OPML☆12Nov 27, 2019Updated 6 years ago
- ☆14Feb 23, 2026Updated last week
- Super Nario - Haskell clone (mirror)☆13May 7, 2020Updated 5 years ago
- org-exobrain. A knowledge management system inspired by zettlekasten, wikis, and all that's great about org-mode.☆11Sep 18, 2025Updated 5 months ago
- Source code for the frontend of chesshq.com☆11Apr 29, 2022Updated 3 years ago
- An Emacs configuration. A holy, minimal, readable alternative to spacemacs and doom-emacs.☆11Mar 23, 2020Updated 5 years ago
- Monorepo for Svelte components packages☆12Apr 2, 2025Updated 11 months ago
- Fisher xxh-plugin☆10Mar 8, 2021Updated 4 years ago
- Telegram bot and webapp to bookmark conversations☆14Dec 10, 2022Updated 3 years ago