P.D. Magnus' forallx logic textbook
☆70Mar 30, 2025Updated last year
Alternatives and similar repositories for forallx
Users that are interested in forallx are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tim Button's Cambridge version of forallx☆16Sep 26, 2018Updated 7 years ago
- Tim Button's open textbook on set theory☆43Jul 12, 2026Updated 2 months ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆62Aug 26, 2025Updated last year
- UCalgary version of forallx, an introduction to formal logic☆130Updated this week
- Radio Intelligence Apps' open-source core, by Qoherent 📡🚀☆14Sep 11, 2025Updated last year
- 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.
- An open-source, customizable intermediate logic textbook☆1,365Aug 14, 2026Updated last month
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆22Apr 13, 2025Updated last year
- Code and data for the CIKM2021 paper "Learning Ideological Embeddings From Information Cascades"☆10Sep 8, 2021Updated 5 years ago
- Hyphenate your way to glory! Or centrality.☆12Jul 24, 2025Updated last year
- Peter Selinger's LaTeX macros for Fitch style natural deduction☆20Sep 12, 2026Updated last week
- Web published translation of Grothendieck's essay on kimchi☆19Jun 7, 2026Updated 3 months ago
- Activity Streams website (hosted on GitHub pages)☆18Oct 18, 2020Updated 5 years ago
- KANs and MLPs☆12Jun 7, 2024Updated 2 years ago
- Novel Coronavirus (COVID-19) Cases, provided by JHU CSSE☆12Mar 11, 2021Updated 5 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Recover temporal information from grown trees, using Python☆11Mar 11, 2021Updated 5 years ago
- ☆15Mar 17, 2021Updated 5 years ago
- A Bayesian model for time-series count data with weekend effects and a lagged reporting process☆10Mar 7, 2022Updated 4 years ago
- Hy macros for Hypothesis framework☆14Aug 23, 2023Updated 3 years ago
- An OpenMath 2.0 implementation in Python☆17May 22, 2020Updated 6 years ago
- Interactive notebooks with tutorials for the agentpy package.☆15Feb 1, 2022Updated 4 years ago
- ☆14Jan 7, 2022Updated 4 years ago
- NetworkX Community detection for weighted and directed graphs☆11Aug 2, 2021Updated 5 years ago
- Interesting papers☆11Jun 22, 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.
- Tutorial for making open textbooks using bookdown☆14Dec 10, 2020Updated 5 years ago
- Some useful algorithms missing from networkx, including community detection, constraint calculation, and coreness. Not ready for general …☆17Aug 27, 2010Updated 16 years ago
- ☆10Oct 28, 2020Updated 5 years ago
- ☆19Nov 30, 2021Updated 4 years ago
- Detect and trap IP scanners☆11Mar 26, 2019Updated 7 years ago
- Python implementation of locus-based genetic algorithm of community detection☆13Aug 31, 2020Updated 6 years ago
- Logic and Mechanized Reasoning☆119Jan 11, 2026Updated 8 months ago
- View net worth, account values, financial transactions☆13Sep 7, 2026Updated last week
- Search engine across all hospitals in the United States☆11Aug 25, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Solutions to Algebra, by Michael Artin.☆36Dec 6, 2016Updated 9 years ago
- Learn Lean and topology☆28Apr 28, 2023Updated 3 years ago
- Adding trace to DesignStart for easier side-channel analysis on the CW305 target. Also supports PhyWhisperer.☆18Feb 19, 2025Updated last year
- The RScheme Revival Project☆33Nov 10, 2009Updated 16 years ago
- A Model Context Protocol server for interacting with Babashka, a native Clojure interpreter for scripting☆20Jan 5, 2025Updated last year
- Hacker News in Slow Italian - The most interesting tech content in a language accessible for learners☆44Oct 12, 2025Updated 11 months ago
- LLVM assembly syntax highlighting and snippets☆15Jan 24, 2026Updated 7 months ago