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 open textbook on set theory☆43Jul 12, 2026Updated 3 weeks ago
- UCalgary version of forallx, an introduction to formal logic☆129Dec 18, 2025Updated 7 months ago
- An open-source, customizable intermediate logic textbook☆1,342Jul 12, 2026Updated 3 weeks ago
- 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 4 years ago
- 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.
- Peter Selinger's LaTeX macros for Fitch style natural deduction☆19Jul 15, 2026Updated 3 weeks ago
- Web published translation of Grothendieck's essay on kimchi☆19Jun 7, 2026Updated 2 months ago
- KANs and MLPs☆12Jun 7, 2024Updated 2 years ago
- software archaeology of reflective towers of interpreters☆17Jun 6, 2025Updated last year
- Hy macros for Hypothesis framework☆14Aug 23, 2023Updated 2 years ago
- Interactive notebooks with tutorials for the agentpy package.☆15Feb 1, 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
- ☆10Oct 28, 2020Updated 5 years ago
- 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.
- A *LISP emulator☆35Apr 1, 2020Updated 6 years ago
- Python implementation of locus-based genetic algorithm of community detection☆13Aug 31, 2020Updated 5 years ago
- Companion code for the paper "Learnable Uncertainty under Laplace Approximations" (UAI 2021).☆19Jun 8, 2021Updated 5 years ago
- Solutions to Algebra, by Michael Artin.☆35Dec 6, 2016Updated 9 years ago
- Learn Lean and topology☆27Apr 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☆19Jan 5, 2025Updated last year
- Local Community Detection in Multiple Netwrks☆16Feb 27, 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.
- S.A.S.S.A.F.R.A.S. : a simple automatic scholar sorter appropriate for researchers and scientists☆20Oct 1, 2025Updated 10 months ago
- Show completions buffer in child frame☆13Sep 13, 2022Updated 3 years ago
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆28Mar 2, 2026Updated 5 months ago
- Generate SVG images for `preview-latex`☆13Dec 25, 2021Updated 4 years ago
- A python script to collect data from the mathematics genealogy project and generate genealogy graphs, combine graphs, etc.☆34Apr 5, 2024Updated 2 years ago
- RASH QDB Fork☆26Apr 1, 2018Updated 8 years ago
- A token system based on proof of transport☆11Dec 21, 2021Updated 4 years ago
- Ruby script to symbolicate Apple crash reports on a linux or osx server, needs recent version of llvm or apple developer tools installed☆14Jun 10, 2013Updated 13 years ago
- Public repository for Abstact Algebra Theory and Applications☆193Aug 4, 2026Updated last week
- 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.
- Experimental Language Server proxy/multiplexer☆16Sep 1, 2024Updated last year
- sbt plugin for scala modules.☆12Jul 31, 2026Updated last week
- ☆11Jun 21, 2022Updated 4 years ago
- Rick Cogley's dotfiles, managed by gnu stow, spit and gum.☆12Updated this week
- Cookiecutter for community-maintained Jupyter Docker images☆18Aug 3, 2026Updated last week
- Bounded verification of UML/OCL (or EMF/OCL) models☆17Jun 13, 2018Updated 8 years ago
- VKCapture with KMSGrab included☆12Sep 9, 2024Updated last year