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☆41Jun 25, 2025Updated last year
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆61Aug 26, 2025Updated 10 months ago
- UCalgary version of forallx, an introduction to formal logic☆124Dec 18, 2025Updated 6 months ago
- An open-source, customizable intermediate logic textbook☆1,317May 25, 2026Updated last month
- 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.
- A formal logic framework that runs in the browser☆348Dec 15, 2024Updated last year
- A solutions manual for Set Theory by Thomas Jech☆14Aug 12, 2018Updated 7 years ago
- Hyphenate your way to glory! Or centrality.☆12Jul 24, 2025Updated 11 months ago
- Web published translation of Grothendieck's essay on kimchi☆18Jun 7, 2026Updated 3 weeks ago
- Novel Coronavirus (COVID-19) Cases, provided by JHU CSSE☆12Mar 11, 2021Updated 5 years ago
- A package for Emacs to connect to different embedding databases☆29Oct 12, 2025Updated 8 months ago
- Recover temporal information from grown trees, using Python☆11Mar 11, 2021Updated 5 years ago
- Hy macros for Hypothesis framework☆14Aug 23, 2023Updated 2 years ago
- software archaeology of reflective towers of interpreters☆17Jun 6, 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.
- A Bayesian model for time-series count data with weekend effects and a lagged reporting process☆10Mar 7, 2022Updated 4 years ago
- NetworkX Community detection for weighted and directed graphs☆11Aug 2, 2021Updated 4 years ago
- ☆14Jan 7, 2022Updated 4 years ago
- Interesting papers☆11Jun 22, 2024Updated 2 years ago
- A Model Context Protocol server for interacting with Babashka, a native Clojure interpreter for scripting☆19Jan 5, 2025Updated last year
- Tutorial for making open textbooks using bookdown☆14Dec 10, 2020Updated 5 years ago
- ☆19Nov 30, 2021Updated 4 years ago
- Rewriting Principia Mathematica in Lean☆137Feb 5, 2026Updated 4 months ago
- LLVM assembly syntax highlighting and snippets☆15Jan 24, 2026Updated 5 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.
- Simulate System76 EC with area8051 emulator☆12Mar 2, 2024Updated 2 years ago
- Learn Lean and topology☆26Apr 28, 2023Updated 3 years ago
- The RScheme Revival Project☆33Nov 10, 2009Updated 16 years ago
- ☆13Mar 3, 2023Updated 3 years ago
- Repository for (for now) filing bug reports about DCIC.☆30Aug 21, 2025Updated 10 months ago
- In recent years, community detection has received increased attention thanks to its wide range of applications in many fields. While at f…☆14May 16, 2019Updated 7 years ago
- Binary EYE is a viewer of binary files with a built-in editor☆28Oct 7, 2021Updated 4 years ago
- Local Community Detection in Multiple Netwrks☆16Feb 27, 2025Updated last year
- A simple DOM wrapper for libxmljs☆13Aug 13, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A functional scripting language compiling to pure Lambda Calculus☆33Nov 25, 2025Updated 7 months ago
- Public repository for Abstact Algebra Theory and Applications☆192Jun 17, 2026Updated 2 weeks ago
- A Gitter client API in Python☆10Jul 6, 2017Updated 8 years ago
- A web-based RISC-V simulator https://riscv-simulator-five.vercel.app☆64May 1, 2026Updated 2 months ago
- Presentation about Spectre issues on Linux☆30Oct 28, 2019Updated 6 years ago
- Textbook on Gödel's incompleteness theorems and computability theory☆22Jul 2, 2025Updated last year
- This is the repository for the first-order masked Kyber on ARM Cortex-M4☆19Nov 2, 2023Updated 2 years ago