Comprehensive roadmaps for studying Logic from Aristotle to contemporary research
☆26Jun 13, 2026Updated 4 months ago
Alternatives and similar repositories for Logic-Study-Roadmaps
Users that are interested in Logic-Study-Roadmaps are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This program is an analogy engine designed to determine if a drink is prohibited based on its attributes and by comparing it to a databas…☆13Aug 19, 2023Updated 3 years ago
- Roam Research Next: A collection of UX improvements for Roam Research☆10Jun 5, 2020Updated 6 years ago
- Maths topics needed for AI engineer☆15Jun 12, 2026Updated 4 months ago
- A collection of my tools related to notetaking☆10Apr 18, 2021Updated 5 years ago
- Read your Roam Research graph as python objects☆11Oct 26, 2020Updated 6 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.
- A modular system for extending Logseq without plugins☆12Apr 19, 2024Updated 2 years ago
- Translate full books and large texts with LLM autonomously☆183Apr 30, 2025Updated last year
- This roadmap takes you from math and Python foundations to classical ML, deep learning, transformers, reinforcement learning, and advance…☆33Nov 22, 2025Updated 11 months ago
- A TUI app to find and add packages to your NixOS config, written in blazingly fast Rust! 🚀🦀☆11Jun 8, 2026Updated 4 months ago
- "Vivify" extensions for RoamResearch 😜☆14Mar 5, 2023Updated 3 years ago
- Fast Cross-Distribution Linux System Cleaner — Written in Rust☆29Aug 27, 2026Updated 2 months ago
- A suite of plugins around finance for Roam Research.☆12Mar 31, 2021Updated 5 years ago
- WordPress Learning Automation Toolkit☆10May 9, 2025Updated last year
- Roam Research with Python☆14Feb 13, 2021Updated 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.
- Reverse engineered Pro Evolution Soccer 6 Server Emulator written in Java☆14Jun 21, 2017Updated 9 years ago
- ☆10Nov 17, 2023Updated 2 years ago
- Additonal features for CodeMirror☆12Aug 20, 2024Updated 2 years ago
- Logseq-NG is the experimental version of Logseq, which is built with Tauri.☆12Aug 31, 2022Updated 4 years ago
- A recreation of the Windows 7 OOBE in C# using WinForms.☆18Jul 21, 2026Updated 3 months ago
- Visual Flexbox Authoring Tool☆10Sep 4, 2020Updated 6 years ago
- The Iranian Sans fontface☆13Jun 23, 2019Updated 7 years ago
- Ontologies for Roam Research☆19Jun 25, 2022Updated 4 years ago
- tq is a command-line TOML processor.☆12Dec 28, 2015Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Javascript Persian Reshaper (Unicode Pereso-Arabic-Converter-From-and-To-Arabic-Presentation-Forms-B)☆11Feb 15, 2016Updated 10 years ago
- A production-oriented course repository that walks through building a multi-agent chatbot from scratch. Covers backend APIs, agent orches…☆18Mar 23, 2026Updated 7 months ago
- ☆73May 3, 2024Updated 2 years ago
- ☆21Jun 26, 2026Updated 4 months ago
- Workaround for the PHPStorm inability to pick classes on FuelPHP framwork☆13Jan 31, 2012Updated 14 years ago
- A simple slider written in pure JS☆10Mar 10, 2015Updated 11 years ago
- Codex app clone in Rust☆14Feb 15, 2026Updated 8 months ago
- ☆17Nov 29, 2021Updated 4 years ago
- Command line TOML processor☆10Oct 24, 2020Updated 6 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.
- Collection of scripts for Glyphs.app☆13Aug 2, 2026Updated 3 months ago
- Markdown Editor for Windows☆17Jan 4, 2012Updated 14 years ago
- [Mirror] GNU Guix Channel with popular packages, system- and home services☆17Updated this week
- Native ASN.1 parser/generator☆12May 18, 2011Updated 15 years ago
- ☆20Jun 22, 2021Updated 5 years ago
- Abora OS is a modern, general-purpose Linux distribution built on NixOS that aims to make declarative operating systems easier to use☆17Updated this week
- ☆218Aug 8, 2025Updated last year