The Tractatus Logico-Philosophicus, in org-mode.
☆14Mar 7, 2021Updated 5 years ago
Alternatives and similar repositories for tractatus-logico-org
Users that are interested in tractatus-logico-org are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Sync elinks with Firefox☆11Oct 23, 2012Updated 13 years ago
- Ruby library for communicating with UCI (Universal Chess Interface) engines.☆19Dec 16, 2014Updated 11 years ago
- Social scraper is a Perl program that scrapes reddit, digg, stumbleupon, delicious, furl, flickr, simpy, boingboing, wired for content th…☆28Feb 26, 2010Updated 16 years ago
- A persistent process supervisor☆15Apr 11, 2011Updated 14 years ago
- Jan☆13Apr 8, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Bilişim Çalışanları Manifestosu☆14Sep 30, 2014Updated 11 years ago
- Automatically import your Lichess chess games into a Scid database.☆12Jan 29, 2016Updated 10 years ago
- Conjugates MSA verbs given three root letters, verb form, tense, and pronoun☆17Jun 10, 2015Updated 10 years ago
- Elements of Deductive Logic, an open-source intermediate logic textbook☆13Jan 8, 2026Updated 3 months ago
- Improve Emacs shell integration for those of us who don't live in Emacs.☆32Apr 1, 2013Updated 13 years ago
- A header-only C++17 chess library☆16Jan 25, 2025Updated last year
- Wizard's Castle as a vehicle for learning Rust☆18Mar 31, 2026Updated last week
- IMAP server based on Twitter statuses☆56Jan 13, 2010Updated 16 years ago
- Awki is a lightweight wiki written in awk. These are my patches, original here: http://awkiawki.bogosoft.com/☆27Dec 1, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- parses PGN files and extracts statistics for chess games☆25Oct 26, 2021Updated 4 years ago
- Chess Engine☆19Jan 16, 2024Updated 2 years ago
- Emacs minor mode for running jest (Node.js test framework)☆26Dec 9, 2023Updated 2 years ago
- mTOTP is an experimental, manual variant of TOTP designed to be computed by a human without electronic devices. It explores the limits of…☆73Jan 18, 2026Updated 2 months ago
- Open library of musculoskeletal models and examples ready to be used with the AnyBody Modelling System.☆31Updated this week
- [DEPRECATED] Allows to integrate TextLint (http://scg.unibe.ch/research/textlint) within various text editors☆58Mar 31, 2012Updated 14 years ago
- An interactive terminal playlist manager; stores playlists as plain text files☆12Jan 31, 2026Updated 2 months ago
- A ruby gem for creating anki flashcard decks (with integrated media)☆24Jan 4, 2018Updated 8 years ago
- My resume written in Markdown, with publishing script for various formats.☆12Apr 2, 2026Updated last week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Renoise Tools☆26Jun 21, 2024Updated last year
- ZenPDF is a minimal PDF viewer for macOS.☆15Oct 13, 2024Updated last year
- Popeye is a chess problem solving and testing software with strong support for fairy chess and heterodox genres. For more information cf.…☆37Jan 11, 2026Updated 2 months ago
- A Markdown version of the free textbook created by Walter Ott☆23Aug 8, 2014Updated 11 years ago
- Common step definitions for Ecukes☆48Nov 21, 2025Updated 4 months ago
- ☆36Nov 2, 2020Updated 5 years ago
- Show system information ( includes extensions list ) by markdown or JSON for vscode☆14Jul 23, 2023Updated 2 years ago
- Org Anki Exporter☆38Mar 1, 2014Updated 12 years ago
- Carroll is a command-line tool for classical logic.☆33Mar 31, 2015Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Android app with Google sheets as a database.☆10Jan 20, 2020Updated 6 years ago
- Debate interface, experiments, etc.☆10Mar 12, 2024Updated 2 years ago
- ☆12Jun 21, 2021Updated 4 years ago
- GPT Prompt Notes☆19Dec 27, 2023Updated 2 years ago
- A documentation site for the ZZ Rubik's Cube method.☆18Mar 15, 2026Updated 3 weeks ago
- Generate decks ready to be imported into Anki!☆36Aug 11, 2016Updated 9 years ago
- AskUp Search ChatGPT Plugin☆20May 27, 2023Updated 2 years ago