Elements of Deductive Logic, an open-source intermediate logic textbook
☆13Jan 8, 2026Updated 2 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 2 years ago
- Converts cargo check (and clippy) JSON output to the GitHub Action error format☆13Jun 17, 2024Updated last year
- Scripts for dealing with POPM ID3 frames and Rhythmbox.☆11May 7, 2022Updated 3 years ago
- Various filters I have written for use with the fantastic jgm/pandoc. Once in python, now in haskell.☆16Jun 13, 2020Updated 5 years ago
- Projeto colaborativo de tradução e adaptação do livro de lógica Forallx☆16May 16, 2024Updated last year
- A LaTeX class to produce a University of Calgary (UCalgary) graduate thesis (uses memoir class)☆15Apr 13, 2023Updated 2 years ago
- Git for Philosophers☆35Aug 1, 2023Updated 2 years ago
- bookdown flavoured GitBook port for LaTeXML☆24Jan 17, 2026Updated 2 months ago
- ☆19Apr 18, 2021Updated 4 years ago
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆20Apr 13, 2025Updated 11 months ago
- Conjugates MSA verbs given three root letters, verb form, tense, and pronoun☆17Jun 10, 2015Updated 10 years ago
- Batch Processing☆11Aug 22, 2020Updated 5 years ago
- Clique Proof-of-Authority Tutorial☆21Sep 7, 2020Updated 5 years ago
- A GNU/Linux shell implementation☆15Jul 29, 2024Updated last year
- My forex trading bot in Clojure using ForexConnect API of FXCM☆11May 20, 2022Updated 3 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☆17Jan 8, 2026Updated 2 months ago
- "Translate" a plot from Mark Riedl's WikiPlots corpus into a poem. For NaPoGenMo 2017.☆21Apr 30, 2017Updated 8 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/☆27Dec 1, 2023Updated 2 years ago
- A simple plugin for kubectl that enables the selection of resources.☆24Jul 3, 2019Updated 6 years ago
- The Tractatus Logico-Philosophicus, in org-mode.☆14Mar 7, 2021Updated 5 years ago
- Visualizing the Stanford Encyclopedia of Philosophy☆22Oct 24, 2017Updated 8 years ago
- ☆35Mar 9, 2026Updated 2 weeks ago
- 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☆13Sep 30, 2024Updated last year
- MemeBattle monorepo☆20Updated this week
- Explore Great Thinkers & Ideas☆19May 12, 2025Updated 10 months ago
- A JavaScript weather demo for SpreadsheetDB☆14Mar 14, 2017Updated 9 years ago
- Repository for URDF parsing code☆13Jan 19, 2026Updated 2 months ago
- 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
- Source for textbook https://github.com/jweisber/vip☆42Mar 16, 2023Updated 3 years ago
- ☆18May 13, 2019Updated 6 years ago
- A tool to apply and create IPS patches☆17Oct 18, 2018Updated 7 years ago