Elements of Deductive Logic, an open-source intermediate logic textbook
☆14Jan 8, 2026Updated 6 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 2 years ago
- Scripts for dealing with POPM ID3 frames and Rhythmbox.☆11May 7, 2022Updated 4 years ago
- Projeto colaborativo de tradução e adaptação do livro de lógica Forallx☆16May 16, 2024Updated 2 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.
- Various filters I have written for use with the fantastic jgm/pandoc. Once in python, now in haskell.☆17Jun 13, 2020Updated 6 years ago
- One script to install all major python libraries for developing Machine Learning application☆20Oct 7, 2019Updated 6 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
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆21Apr 13, 2025Updated last year
- ☆19Apr 18, 2021Updated 5 years ago
- Batch Processing☆11Aug 22, 2020Updated 5 years ago
- A GNU/Linux shell implementation☆15Jul 29, 2024Updated last year
- bookdown flavoured GitBook port for LaTeXML☆27Updated this week
- 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.
- Clique Proof-of-Authority Tutorial☆21Sep 7, 2020Updated 5 years ago
- A general-purpose asynchronous job queue for Node.js.☆14Feb 13, 2025Updated last year
- My forex trading bot in Clojure using ForexConnect API of FXCM☆11May 20, 2022Updated 4 years ago
- class and package for multi-file projects in LaTeX☆27Oct 11, 2024Updated last year
- "Translate" a plot from Mark Riedl's WikiPlots corpus into a poem. For NaPoGenMo 2017.☆20Apr 30, 2017Updated 9 years ago
- Explore Great Thinkers & Ideas☆19May 12, 2025Updated last year
- Arabic vocalized text corpus☆14Jan 2, 2015Updated 11 years ago
- BibTeX file of philosophy papers☆15Updated this week
- A simple plugin for kubectl that enables the selection of resources.☆24Jul 3, 2019Updated 7 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Awki is a lightweight wiki written in awk. These are my patches, original here: http://awkiawki.bogosoft.com/☆28Dec 1, 2023Updated 2 years ago
- The Tractatus Logico-Philosophicus, in org-mode.☆15Mar 7, 2021Updated 5 years ago
- ☆18May 13, 2019Updated 7 years ago
- Tim Button's Cambridge version of forallx☆16Sep 26, 2018Updated 7 years ago
- MemeBattle monorepo☆20Updated this week
- Visualizing the Stanford Encyclopedia of Philosophy☆22Oct 24, 2017Updated 8 years ago
- A JavaScript weather demo for SpreadsheetDB☆14Mar 14, 2017Updated 9 years ago
- (WIP) A GitHub API client.☆39Jun 6, 2024Updated 2 years ago
- Conjugates MSA verbs given three root letters, verb form, tense, and pronoun☆17Jun 10, 2015Updated 11 years 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.
- 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
- Run a sequence of functions on in-memory representations of files.☆13Sep 25, 2022Updated 3 years ago
- PRT-10255☆13Jun 27, 2025Updated last year
- ☆20Feb 3, 2026Updated 5 months ago
- A tool to apply and create IPS patches☆17Oct 18, 2018Updated 7 years ago
- Source for textbook https://github.com/jweisber/vip☆48Mar 16, 2023Updated 3 years ago