Elements of Deductive Logic, an open-source intermediate logic textbook
☆14Jan 8, 2026Updated 7 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 12 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
- 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.
- 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)☆16Apr 13, 2023Updated 3 years ago
- Git for Philosophers☆34Aug 1, 2023Updated 3 years ago
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆22Apr 13, 2025Updated last year
- ☆19Apr 18, 2021Updated 5 years ago
- Batch Processing☆11Aug 22, 2020Updated 6 years ago
- A GNU/Linux shell implementation☆15Jul 29, 2024Updated 2 years ago
- bookdown flavoured GitBook port for LaTeXML☆31Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 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.☆21Apr 30, 2017Updated 9 years ago
- Explore Great Thinkers & Ideas☆20May 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
- 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.
- 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
- 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.
- 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 7 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