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:
- A plugin to add crossfilters in folium☆10Mar 24, 2016Updated 10 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 8 months 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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A guide to installing and using Tengwar fonts with LaTeX.☆18Sep 3, 2023Updated 2 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 11 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
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Chess☆11Nov 23, 2016Updated 9 years ago
- A node based image processor for astronomers☆17Jun 19, 2023Updated 2 years ago
- A persistent process supervisor☆15Apr 11, 2011Updated 15 years ago
- BayesTraits wrapper for R☆12Apr 28, 2021Updated 5 years ago
- Jan☆13Apr 8, 2019Updated 7 years ago
- 외솔 최현배 선생의 풀어쓰기 한글을 구현한 컴퓨터 글꼴. A computer font for Oesol's disassembled Hangul.☆28May 26, 2024Updated last year
- 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
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 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
- ☆12May 7, 2026Updated 2 weeks ago
- Automatically import your Lichess chess games into a Scid database.☆13Jan 29, 2016Updated 10 years ago
- 온라인 한글 입력기 (Online Hangeul IME)☆30Aug 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 7 months 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.
- 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 4 months ago
- A declarative router for riotjs☆13Mar 27, 2017Updated 9 years ago
- Improve Emacs shell integration for those of us who don't live in Emacs.☆32Apr 1, 2013Updated 13 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 6 years ago
- node assertion library without special syntax☆42Mar 22, 2018Updated 8 years ago