The Tractatus Logico-Philosophicus, in org-mode.
☆15Mar 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:
- C-based JSON parser☆13Sep 28, 2012Updated 14 years ago
- Painless Linux sandboxing API☆18Nov 4, 2025Updated 11 months ago
- Generic JSON-based HTTP controler for liquidsoap radios.☆11May 21, 2012Updated 14 years ago
- pastefromhtml is a Zim plugin that lets you paste lists, links, and text from html clipboard data.☆13Jan 22, 2024Updated 2 years ago
- hdaemonize is now maintained by Lana Black. See https://github.com/greydot/hdaemonize☆14May 4, 2019Updated 7 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Jan☆13Apr 8, 2019Updated 7 years ago
- Sluk is a simple feed to email program primarily meant to be used with the notmuch mail indexing system.☆17Nov 27, 2012Updated 13 years ago
- Elements of Deductive Logic, an open-source intermediate logic textbook☆14Jan 8, 2026Updated 9 months ago
- A persistent process supervisor☆15Apr 11, 2011Updated 15 years ago
- forked from nngs 1.1.22☆17Oct 21, 2012Updated 14 years ago
- Vim + Anjuta == World Domination☆17Jun 6, 2009Updated 17 years ago
- icecast Logs Parser☆20Jan 8, 2021Updated 5 years ago
- Ruby library for communicating with UCI (Universal Chess Interface) engines.☆19Dec 16, 2014Updated 11 years ago
- My zsh dotfiles☆21Nov 7, 2013Updated 12 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- MailBot: register callbacks to be executed on mail reception.☆26Jul 10, 2016Updated 10 years ago
- Miscellaneous unofficial media packages for the Exherbo linux distribution☆20Nov 27, 2013Updated 12 years ago
- Wizard's Castle as a vehicle for learning Rust☆22Mar 31, 2026Updated 6 months ago
- A header-only C++17 chess library☆17Jan 25, 2025Updated last year
- Awki is a lightweight wiki written in awk. These are my patches, original here: http://awkiawki.bogosoft.com/☆28Dec 1, 2023Updated 2 years ago
- The "Tag List" plugin is a source code browser plugin for Vim and provides an overview of the structure of source code files and allows …☆21Jun 30, 2010Updated 16 years ago
- A PGN reviewer and publishing platform for the Kindle, allowing users to review annotated Chess games from their digital e-reader.☆23Apr 25, 2011Updated 15 years ago
- ☆12Jun 19, 2023Updated 3 years ago
- Official Ya2YAML repository; Ya2YAML is "yet another to_yaml". It emits YAML document with complete UTF8 support (string/binary detection…☆20Aug 17, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 📻 Internet radio station with Liquidsoap & Icecast2 (configs and scripts, 2011)☆25Oct 11, 2011Updated 15 years ago
- Source code for the new pokemon3d.net website☆15Oct 20, 2026Updated last week
- SPSA Tuner for Stockfish Chess Engine☆23Jul 15, 2017Updated 9 years ago
- An interactive terminal playlist manager; stores playlists as plain text files☆12Apr 16, 2026Updated 6 months ago
- ☆12Aug 9, 2026Updated 2 months ago
- ☆10Nov 6, 2024Updated last year
- A ruby gem for creating anki flashcard decks (with integrated media)☆25Jan 4, 2018Updated 8 years ago
- [Legacy Firefox] Copy Link, Image and Table in Page as Org-mode Format!☆28Sep 28, 2021Updated 5 years ago
- multimode softsynth☆31Apr 22, 2014Updated 12 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Reproducible GitOps based k8s homelab☆10Updated this week
- The Grand C++ Error Explosion Competition test harness☆39Jan 7, 2015Updated 11 years ago
- A Markdown version of the free textbook created by Walter Ott☆23Aug 8, 2014Updated 12 years ago
- Refine a document with your coding agent by trading turns — markdown or HTML, with in-browser comments.☆16Oct 19, 2026Updated last week
- Claude Code vs Codex Reddit Sentiment Dashboard☆17Oct 13, 2026Updated 2 weeks ago
- An Android app for managing budgets using Google Sheets☆11Dec 29, 2019Updated 6 years ago
- Micropolis - the city simulator☆14Jul 10, 2025Updated last year