Elements of Deductive Logic, an open-source intermediate logic textbook
☆14Jan 8, 2026Updated 5 months ago
Alternatives and similar repositories for edl
Users that are interested in edl 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 Markdown version of the free textbook created by Walter Ott☆23Aug 8, 2014Updated 11 years ago
- 📻 A cross-platform , open-source podcast listening experience for developers.☆12Apr 24, 2023Updated 3 years ago
- Converts cargo check (and clippy) JSON output to the GitHub Action error format☆15Jun 17, 2024Updated last year
- Scripts for dealing with POPM ID3 frames and Rhythmbox.☆11May 7, 2022Updated 4 years ago
- Various filters I have written for use with the fantastic jgm/pandoc. Once in python, now in haskell.☆16Jun 13, 2020Updated 6 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.
- Projeto colaborativo de tradução e adaptação do livro de lógica Forallx☆16May 16, 2024Updated 2 years ago
- A LaTeX class to produce a University of Calgary (UCalgary) graduate thesis (uses memoir class)☆15Apr 13, 2023Updated 3 years ago
- Git for Philosophers☆35Aug 1, 2023Updated 2 years ago
- ☆19Apr 18, 2021Updated 5 years ago
- Conjugates MSA verbs given three root letters, verb form, tense, and pronoun☆17Jun 10, 2015Updated 11 years ago
- Batch Processing☆11Aug 22, 2020Updated 5 years ago
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆21Apr 13, 2025Updated last year
- bookdown flavoured GitBook port for LaTeXML☆25Jun 6, 2026Updated last week
- Clique Proof-of-Authority Tutorial☆21Sep 7, 2020Updated 5 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A GNU/Linux shell implementation☆15Jul 29, 2024Updated last year
- My forex trading bot in Clojure using ForexConnect API of FXCM☆11May 20, 2022Updated 4 years ago
- One script to install all major python libraries for developing Machine Learning application☆20Oct 7, 2019Updated 6 years ago
- class and package for multi-file projects in LaTeX☆27Oct 11, 2024Updated last year
- A general-purpose asynchronous job queue for Node.js.☆14Feb 13, 2025Updated last year
- Wizard's Castle as a vehicle for learning Rust☆19Mar 31, 2026Updated 2 months ago
- "Translate" a plot from Mark Riedl's WikiPlots corpus into a poem. For NaPoGenMo 2017.☆21Apr 30, 2017Updated 9 years ago
- Arabic vocalized text corpus☆14Jan 2, 2015Updated 11 years ago
- Awki is a lightweight wiki written in awk. These are my patches, original here: http://awkiawki.bogosoft.com/☆28Dec 1, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A simple plugin for kubectl that enables the selection of resources.☆24Jul 3, 2019Updated 6 years ago
- The Tractatus Logico-Philosophicus, in org-mode.☆15Mar 7, 2021Updated 5 years ago
- Visualizing the Stanford Encyclopedia of Philosophy☆22Oct 24, 2017Updated 8 years ago
- ☆49Jun 8, 2026Updated last week
- Tim Button's Cambridge version of forallx☆16Sep 26, 2018Updated 7 years ago
- The code running on the RasPi powered, RFID controlled audio book player☆36Aug 10, 2016Updated 9 years ago
- MESA GL/3Dfx Glide pass-through for QEMU☆15Sep 30, 2024Updated last year
- MemeBattle monorepo☆20Jun 7, 2026Updated last week
- Explore Great Thinkers & Ideas☆19May 12, 2025Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A JavaScript weather demo for SpreadsheetDB☆14Mar 14, 2017Updated 9 years ago
- Repository for URDF parsing code☆13Jun 3, 2026Updated last week
- Simple Romhacking For beginners,and what you actually need to get started☆13Sep 25, 2018Updated 7 years ago
- Draft of the Machine Learning Yearning book☆25Mar 22, 2017Updated 9 years ago
- ☆18May 13, 2019Updated 7 years ago
- Source for textbook https://github.com/jweisber/vip☆48Mar 16, 2023Updated 3 years ago
- A tool to apply and create IPS patches☆17Oct 18, 2018Updated 7 years ago