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:
- UCalgary version of forallx, an introduction to formal logic☆130Dec 18, 2025Updated 8 months ago
- An open-source, customizable intermediate logic textbook☆1,351Aug 14, 2026Updated 2 weeks ago
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆22Apr 13, 2025Updated last year
- Peter Selinger's LaTeX macros for Fitch style natural deduction☆19Jul 15, 2026Updated last month
- KANs and MLPs☆12Jun 7, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- The MobSTr dataset provides artifacts that demonstrate Model-based Safety Assurance and Traceability for a safety-critical automotive sys…☆10Mar 18, 2022Updated 4 years ago
- A Bayesian model for time-series count data with weekend effects and a lagged reporting process☆10Mar 7, 2022Updated 4 years ago
- Interactive notebooks with tutorials for the agentpy package.☆15Feb 1, 2022Updated 4 years ago
- ☆14Jan 7, 2022Updated 4 years ago
- A formal logic framework that runs in the browser☆349Dec 15, 2024Updated last year
- Interesting papers☆11Jun 22, 2024Updated 2 years ago
- Solutions to Algebra, by Michael Artin.☆36Dec 6, 2016Updated 9 years ago
- A simple DOM wrapper for libxmljs☆13Aug 13, 2022Updated 4 years ago
- Show completions buffer in child frame☆13Sep 13, 2022Updated 3 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.
- Alloy*---Higher Order Logic for Alloy☆38Dec 28, 2019Updated 6 years ago
- Emacs Lisp client for the SpaceTraders API☆10Jul 25, 2021Updated 5 years ago
- A template for Paris-Salcay PhD thesis☆12Apr 20, 2026Updated 4 months ago
- Public repository for Abstact Algebra Theory and Applications☆194Aug 4, 2026Updated 3 weeks ago
- Extract metadata from typst documents for preprocessing☆16Aug 22, 2026Updated last week
- Rick Cogley's dotfiles, managed by gnu stow, spit and gum.☆12Updated this week
- A Vagrant base box for Mastodon☆19Dec 14, 2021Updated 4 years ago
- Cookiecutter for community-maintained Jupyter Docker images☆18Aug 3, 2026Updated 3 weeks ago
- Spaced Repetition in the terminal with markdown cards☆14May 3, 2026Updated 3 months 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.
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Experimental deltachat client☆15May 11, 2024Updated 2 years ago
- Blocks is a plugin for mdbook which preprocesses "Blocks" based markdown into beautiful Bootstrap components.☆11Jun 15, 2024Updated 2 years ago
- An open-source celebration of creative academics & academic creatives☆14Dec 9, 2017Updated 8 years ago
- Materials accompanying the upstrap paper☆12Oct 19, 2020Updated 5 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Collection of interesting patterns, inspired by nature, powered by p5js☆10Jun 2, 2018Updated 8 years ago
- A small Zig ⚡ module, as a convenience for me when writing WebAssembly plugins for Typst☆20Sep 25, 2025Updated 11 months ago
- ☆19Dec 17, 2025Updated 8 months 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 UI for visualizing purely functional data structures☆11May 18, 2019Updated 7 years ago
- Recipes for training OpenNMT systems☆14Jul 26, 2017Updated 9 years ago
- A style guide for Haskell code.☆14May 26, 2025Updated last year
- Metamath logic game☆10Aug 11, 2026Updated 2 weeks ago
- bindings for QT5 widgets☆10Mar 25, 2016Updated 10 years ago
- ☆16Mar 22, 2026Updated 5 months ago
- Lean 3 web editor☆12Oct 25, 2023Updated 2 years ago