Elements of Deductive Logic, an open-source intermediate logic textbook
☆14Jan 8, 2026Updated 9 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
- Textbook on non-classical logics☆14Jul 12, 2026Updated 3 months ago
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆22Oct 26, 2026Updated last week
- Git for Philosophers☆35Aug 1, 2023Updated 3 years ago
- interactive, open source music theory textbook☆11Sep 25, 2026Updated last month
- 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.
- OldBanana is a browser add-on that reintroduces Gamebanana features and reverts detrimental changes on the client side. It will locally k…☆11Apr 2, 2022Updated 4 years ago
- Open-source combined Linear Algebra and Ordinary Differential Equations textbook☆11Jan 5, 2024Updated 2 years ago
- "Alexandrov geometry: foundations" by S. Alexander, V. Kapovitch, and A. Petrunin☆11Jul 14, 2026Updated 3 months ago
- UCalgary version of forallx, an introduction to formal logic☆131Oct 23, 2026Updated last week
- Fanmade game client of "A Dance of Fire and Ice" (ADOFAI).☆12May 30, 2025Updated last year
- unofficial osu!lazer client with gimmicks like variable cs/ar/od, and hp gimmicks☆21Oct 4, 2026Updated 3 weeks ago
- E-Books Library for someone who interested in Pure Mathematics.☆20Oct 24, 2021Updated 5 years ago
- A list of awesome osu! links☆17Jun 14, 2018Updated 8 years ago
- Euclidean plane and its relatives; a minimalist introduction.☆22Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- class and package for multi-file projects in LaTeX☆27Oct 11, 2024Updated 2 years ago
- !! MAINTENANCE MODE !! ShellSaber is a mod manager written in POSIX-compliant shell script to support Beat Saber modding on Linux.☆15Oct 29, 2021Updated 5 years ago
- Detect different types of javascript modules formats☆13Apr 21, 2014Updated 12 years ago
- The Tractatus Logico-Philosophicus, in org-mode.☆15Mar 7, 2021Updated 5 years ago
- A JavaScript weather demo for SpreadsheetDB☆14Mar 14, 2017Updated 9 years ago
- List of awesome osu! resources☆20Jul 1, 2026Updated 4 months ago
- Utility list for accessibility-based development☆25Oct 1, 2020Updated 6 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
- Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice. This is a mirror of https://gitlab.common-lisp.n…☆29May 21, 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 kernel☆13Sep 24, 2023Updated 3 years ago
- a super basic nodejs server relaying free-D protocol packets as OSC☆10Feb 8, 2022Updated 4 years ago
- ESP32 library to access Azure IoT services, using the Azure IoT Middleware for FreeRTOS interface, in an easier and cleaner way.☆10Jul 7, 2026Updated 3 months ago
- An open-source textbook constructed for high school statistics. This textbook covers all topics in the AP* Statistics exam.☆24Jul 11, 2026Updated 3 months ago
- Benchmarking tool with focus on comparing results.☆16Sep 7, 2024Updated 2 years ago
- PRT-10255☆13Jun 27, 2025Updated last year
- Source for textbook https://github.com/jweisber/vip☆48Mar 16, 2023Updated 3 years ago
- Binary lambda calculus☆11Jun 30, 2026Updated 4 months ago
- a wip newbie-friendly irc client☆11May 18, 2024Updated 2 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.
- A CC-by-sa licensed textbook by Ben Woodruff (revised by Jason Grout) on linear algebra.☆24Jul 30, 2014Updated 12 years ago
- This repository contains Python code and CAD files to (re)create the cycloidal gearing design, and experiments, from our 2024 paper "Expe…☆13Aug 15, 2023Updated 3 years ago
- A list of alternatives for the most used programs, games, web services and operating systems☆37Nov 7, 2024Updated last year
- Renoise Tools☆25Jun 21, 2024Updated 2 years ago
- ☆16Sep 3, 2016Updated 10 years ago
- A WebdriverIO service to start & stop WireMock Standalone☆10Feb 21, 2024Updated 2 years ago
- Repository for URDF parsing code☆15Sep 16, 2026Updated last month