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:
- Swiss Army knife for arbitrarily structured binary files☆10Jun 12, 2019Updated 7 years ago
- Customized BootX-34 with debug logging & other tweaks to enable booting of Mac OS X Server 1.0 in qemu-ppc☆16Jan 12, 2017Updated 9 years ago
- A plugin to add crossfilters in folium☆10Mar 24, 2016Updated 10 years ago
- typeset Korean with xe(la)tex☆16Aug 24, 2025Updated 10 months ago
- Pytońska treść do mowy – Polish Text to Speech library for Python☆15Jan 3, 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.
- command-line and python interface to the uniprot database☆10Jun 11, 2015Updated 11 years ago
- A guide to installing and using Tengwar fonts with LaTeX.☆18Sep 3, 2023Updated 2 years ago
- A node based image processor for astronomers☆17Jun 19, 2023Updated 3 years ago
- Firenzina by Kranium, Yuri Censor, and ZirconiumX is a free, open-source UCI chess engine, a derivative of Fire by Kranium (Norman Schmid…☆10Dec 5, 2014Updated 11 years ago
- Scrapes and Analyzes/Compares Nov 1 & Jun 7, 2015 General Election Results in Turkey☆12Nov 19, 2015Updated 10 years ago
- Sync elinks with Firefox☆11Oct 23, 2012Updated 13 years ago
- 외솔 최현배 선생의 풀어 쓰기 한글을 구현한 컴퓨터 글꼴. A computer font for Oesol's disassembled Hangul.☆28May 26, 2024Updated 2 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
- Chess☆11Nov 23, 2016Updated 9 years ago
- 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.
- Source code for http://gregorycollins.net/ --- built on the Haskell "happstack" framework☆15Aug 19, 2009Updated 16 years ago
- BayesTraits wrapper for R☆12Apr 28, 2021Updated 5 years ago
- Awesome GitHub CLI aliases☆11Sep 21, 2020Updated 5 years ago
- A Transactional Metadata Store Backed by Apache Kafka☆25Sep 22, 2025Updated 9 months ago
- ☆12Jun 29, 2026Updated 3 weeks ago
- Proofs and exercises from "Elements of Programming" by Stepanov (author of C++ STL) and McJones☆30Jul 29, 2017Updated 8 years ago
- Elements of Deductive Logic, an open-source intermediate logic textbook☆14Jan 8, 2026Updated 6 months ago
- INACTIVE - http://mzl.la/ghe-archive - Extension to Django Forms that strips spaces☆15Mar 28, 2019Updated 7 years ago
- ☆37Oct 28, 2017Updated 8 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.
- Apps for Kindle Touch☆15Dec 13, 2011Updated 14 years ago
- A persistent process supervisor☆15Apr 11, 2011Updated 15 years ago
- Jan☆13Apr 8, 2019Updated 7 years ago
- 온라인 한글 입력기 (Online Hangeul IME)☆30Aug 9, 2024Updated last year
- This is a Python package for implementing metagraphs.☆14Dec 26, 2022Updated 3 years ago
- A declarative router for riotjs☆13Mar 27, 2017Updated 9 years ago
- forked from nngs 1.1.22☆17Oct 21, 2012Updated 13 years ago
- Bilişim Çalışanları Manifestosu☆14Sep 30, 2014Updated 11 years ago
- Automatically import your Lichess chess games into a Scid database.☆14Jan 29, 2016Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Xamarin.Forms bingo game that plays itself☆11Jul 5, 2021Updated 5 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
- MetFS is FUSE based, encrypted, dynamic sized filesystem software.☆18Jun 19, 2015Updated 11 years ago
- An Emacs mode for editing Apex code at Salesforce.com☆14May 4, 2020Updated 6 years ago
- ☆13Apr 4, 2025Updated last year
- Remove redux reducer boilerplate☆16Sep 24, 2018Updated 7 years ago
- Archived: A bingo caller created in pure object-oriented JavaScript☆11Jun 28, 2023Updated 3 years ago