Elements of Deductive Logic, an open-source intermediate logic textbook
☆14Jan 8, 2026Updated 4 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 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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
- bookdown flavoured GitBook port for LaTeXML☆24May 19, 2026Updated last week
- ☆19Apr 18, 2021Updated 5 years 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
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆21Apr 13, 2025Updated last year
- Clique Proof-of-Authority Tutorial☆21Sep 7, 2020Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 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 last month
- "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
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 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
- ☆47May 12, 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☆14Sep 30, 2024Updated last year
- MemeBattle monorepo☆20May 13, 2026Updated last week
- Explore Great Thinkers & Ideas☆19May 12, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A JavaScript weather demo for SpreadsheetDB☆14Mar 14, 2017Updated 9 years ago
- Repository for URDF parsing code☆13May 5, 2026Updated 2 weeks 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
- ☆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