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
Sorting:
- A plugin to add crossfilters in folium☆10Mar 24, 2016Updated 9 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
- Swiss Army knife for arbitrarily structured binary files☆10Jun 12, 2019Updated 6 years ago
- typeset Korean with xe(la)tex☆16Aug 24, 2025Updated 6 months ago
- A guide to installing and using Tengwar fonts with LaTeX.☆16Sep 3, 2023Updated 2 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
- Sync elinks with Firefox☆11Oct 23, 2012Updated 13 years ago
- Pytońska treść do mowy – Polish Text to Speech library for Python☆15Jan 3, 2021Updated 5 years ago
- Ruby library for communicating with UCI (Universal Chess Interface) engines.☆19Dec 16, 2014Updated 11 years ago
- command-line and python interface to the uniprot database☆10Jun 11, 2015Updated 10 years ago
- ~/.emacs.d/☆17Jun 13, 2025Updated 9 months 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
- Scrapes and Analyzes/Compares Nov 1 & Jun 7, 2015 General Election Results in Turkey☆12Nov 19, 2015Updated 10 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
- A node based image processor for astronomers☆17Jun 19, 2023Updated 2 years ago
- 외솔 최현배 선생의 풀어쓰기 한글을 구현한 컴퓨터 글꼴. A computer font for Oesol's disassembled Hangul.☆28May 26, 2024Updated last year
- A persistent process supervisor☆15Apr 11, 2011Updated 14 years ago
- BayesTraits wrapper for R☆12Apr 28, 2021Updated 4 years ago
- Jan☆13Apr 8, 2019Updated 6 years ago
- Cloud storage client library☆53Feb 2, 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
- Awesome GitHub CLI aliases☆11Sep 21, 2020Updated 5 years ago
- Proofs and exercises from "Elements of Programming" by Stepanov (author of C++ STL) and McJones☆29Jul 29, 2017Updated 8 years ago
- ☆12Dec 1, 2025Updated 3 months ago
- Automatically import your Lichess chess games into a Scid database.☆12Jan 29, 2016Updated 10 years ago
- 온라인 한글 입력기 (Online Hangeul IME)☆29Aug 9, 2024Updated last year
- ☆37Oct 28, 2017Updated 8 years ago
- Conjugates MSA verbs given three root letters, verb form, tense, and pronoun☆17Jun 10, 2015Updated 10 years ago
- Creates a backup of all your Challenge/AC Submissions on SPOJ (Sphere Online Judge) http://spoj.pl in a desired directory.☆31Feb 12, 2019Updated 7 years ago
- A Transactional Metadata Store Backed by Apache Kafka☆25Sep 22, 2025Updated 5 months ago
- This is a Python package for implementing metagraphs.☆14Dec 26, 2022Updated 3 years ago
- Elements of Deductive Logic, an open-source intermediate logic textbook☆13Jan 8, 2026Updated 2 months ago
- A declarative router for riotjs☆13Mar 27, 2017Updated 8 years ago
- Improve Emacs shell integration for those of us who don't live in Emacs.☆32Apr 1, 2013Updated 12 years ago
- Xamarin.Forms bingo game that plays itself☆11Jul 5, 2021Updated 4 years ago
- An Emacs mode for editing Apex code at Salesforce.com☆14May 4, 2020Updated 5 years ago
- node assertion library without special syntax☆42Mar 22, 2018Updated 7 years ago