P.D. Magnus' forallx logic textbook
☆70Mar 30, 2025Updated 11 months ago
Alternatives and similar repositories for forallx
Users that are interested in forallx are comparing it to the libraries listed below
Sorting:
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆59Aug 26, 2025Updated 6 months ago
- UCalgary version of forallx, an introduction to formal logic☆118Dec 18, 2025Updated 3 months ago
- An open-source, customizable intermediate logic textbook☆1,269Mar 4, 2026Updated 2 weeks ago
- A formal logic framework that runs in the browser☆327Dec 15, 2024Updated last year
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆20Apr 13, 2025Updated 11 months ago
- KANs and MLPs☆12Jun 7, 2024Updated last year
- software archaeology of reflective towers of interpreters☆17Jun 6, 2025Updated 9 months ago
- A *LISP emulator☆35Apr 1, 2020Updated 5 years ago
- Solutions to Algebra, by Michael Artin.☆35Dec 6, 2016Updated 9 years ago
- An academic Touying theme for creating presentation slides in Typst for members of the University of Strasbourg, France☆18Mar 7, 2026Updated 2 weeks ago
- Seamless interoperability between any version of Polars (>=0.40) and any version of Arrow (>=54),☆17Feb 25, 2026Updated 3 weeks ago
- Learn Lean and topology☆26Apr 28, 2023Updated 2 years ago
- The RScheme Revival Project☆33Nov 10, 2009Updated 16 years ago
- Binary EYE is a viewer of binary files with a built-in editor☆28Oct 7, 2021Updated 4 years ago
- Seamlessly integrate marimo reactive notebooks into JupyterLab and JupyterHub☆24Mar 15, 2026Updated last week
- A Gitter client API in Python☆10Jul 6, 2017Updated 8 years ago
- Rand E Editor modified to compile on modern Linux☆12Feb 13, 2021Updated 5 years ago
- ☆21Jun 23, 2025Updated 8 months ago
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆27Mar 2, 2026Updated 2 weeks ago
- Textbook on Gödel's incompleteness theorems and computability theory☆22Jul 2, 2025Updated 8 months ago
- XMPP account exporter and migrator☆18Oct 17, 2024Updated last year
- Utility functions used in marimo (powered by anywidget)☆33Feb 22, 2026Updated 3 weeks ago
- ☆44Nov 25, 2016Updated 9 years ago
- Automatically exported from code.google.com/p/ghilbert☆47Sep 28, 2017Updated 8 years ago
- A small Zig ⚡ module, as a convenience for me when writing WebAssembly plugins for Typst☆16Sep 25, 2025Updated 5 months ago
- PlotNeuralNet is a Python package for generating high-quality neural network architecture diagrams using predefined or custom layer templ…☆30Dec 5, 2024Updated last year
- ☆38Jan 2, 2023Updated 3 years ago
- ☆22Mar 13, 2026Updated last week
- Automagic typst package documentation & development☆18Nov 28, 2024Updated last year
- Using a usb scale to keep an eye on coffee status at the office☆22Jul 28, 2016Updated 9 years ago
- Reddit-to-Kindle is primarily a Node.js script that converts Reddit RSS feeds into ePub format, making it easy to read Reddit posts and t…☆20Jun 8, 2024Updated last year
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆38Mar 5, 2026Updated 2 weeks ago
- A token system based on proof of transport☆11Dec 21, 2021Updated 4 years ago
- Git HTTP backend in go☆13Feb 28, 2017Updated 9 years ago
- This is a read-only mirror for https://git.recolic.net/root/dingtalk-wine-2019☆10Aug 19, 2021Updated 4 years ago
- Simple hack for enabling SSE/AVX instructions on DOS and Windows 95/98☆32Oct 4, 2025Updated 5 months ago
- A telegram bot to reply to /zao☆11Jul 22, 2018Updated 7 years ago
- A formalized proof of Carleson's theorem in Lean☆86Updated this week
- A minimal poster template in Typst.☆27Oct 24, 2025Updated 4 months ago