Elements of Deductive Logic, an open-source intermediate logic textbook
☆13Jan 8, 2026Updated last month
Alternatives and similar repositories for edl
Users that are interested in edl are comparing it to the libraries listed below
Sorting:
- A Markdown version of the free textbook created by Walter Ott☆23Aug 8, 2014Updated 11 years ago
- Python module for computer vision anomaly detection☆11Mar 12, 2024Updated last year
- ESP32 library to access Azure IoT services, using the Azure IoT Middleware for FreeRTOS interface, in an easier and cleaner way.☆11Jun 28, 2025Updated 8 months ago
- Git for Philosophers☆35Aug 1, 2023Updated 2 years ago
- PRT-10255☆13Jun 27, 2025Updated 8 months ago
- Repository for URDF parsing code☆13Jan 19, 2026Updated last month
- A digital format for exchange of wind energy yield assessment reporting information as defined by IEC 61400-15-2☆18Nov 18, 2025Updated 3 months ago
- Batch Processing☆11Aug 22, 2020Updated 5 years ago
- ☆11Dec 14, 2016Updated 9 years ago
- MESA GL/3Dfx Glide pass-through for QEMU☆12Sep 30, 2024Updated last year
- Hardware modifications for the AR3☆11Feb 12, 2021Updated 5 years ago
- PROTOTYPE PACKAGE - FOR TESTING ONLY☆10Sep 5, 2023Updated 2 years ago
- 24kb NES Shmup☆10Jan 5, 2026Updated last month
- a kernel☆13Sep 24, 2023Updated 2 years ago
- ROS2 node for access to Basler camera via Pylon CBaslerUniversalInstantCamera API. Supports high-performance, arbitrary framerate, free-r…☆14Aug 28, 2025Updated 6 months ago
- Conjugates MSA verbs given three root letters, verb form, tense, and pronoun☆17Jun 10, 2015Updated 10 years ago
- Run a sequence of functions on in-memory representations of files.☆13Sep 25, 2022Updated 3 years ago
- a wip newbie-friendly irc client☆11May 18, 2024Updated last year
- Building an entry point for those coming to Node.☆43Oct 26, 2014Updated 11 years ago
- Converts cargo check (and clippy) JSON output to the GitHub Action error format☆13Jun 17, 2024Updated last year
- Log in/Regisration form in PHP and SQLITE database.☆11Dec 28, 2015Updated 10 years ago
- 📻 A cross-platform , open-source podcast listening experience for developers.☆12Apr 24, 2023Updated 2 years ago
- This is an example parser written in flex and bison☆12May 7, 2012Updated 13 years ago
- Binary lambda calculus☆10Jan 29, 2018Updated 8 years ago
- Physical optics in Python☆15Apr 14, 2020Updated 5 years ago
- A WebdriverIO service to start & stop WireMock Standalone☆10Feb 21, 2024Updated 2 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 3 years ago
- A JavaScript weather demo for SpreadsheetDB☆14Mar 14, 2017Updated 8 years ago
- ☆19Jan 25, 2026Updated last month
- LENZ Encoders BiSS C descriptions and samples☆14Feb 6, 2025Updated last year
- MemeBattle monorepo☆20Updated this week
- Manages Shrew Soft VPN client and connection. Reconnects when the connection is dropped.☆15Jul 12, 2018Updated 7 years ago
- Simple python parser to display the results from coinmarketcap☆10Jan 23, 2015Updated 11 years ago
- Simple django-based personal budgeting app that sources data from GNUCash sqlite data files☆17Sep 18, 2012Updated 13 years ago
- Tim Button's Cambridge version of forallx☆15Sep 26, 2018Updated 7 years ago
- New Maintainer, please use their repository☆16Feb 6, 2017Updated 9 years ago
- ☆18Feb 1, 2015Updated 11 years ago
- Device-mapper Deduplication Target for linux kernel 4.8☆12Dec 27, 2017Updated 8 years ago