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☆128Dec 18, 2025Updated 7 months ago
- An open-source, customizable intermediate logic textbook☆1,328Jul 12, 2026Updated last week
- ☆16Mar 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
- An OpenMath 2.0 implementation in Python☆17May 22, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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 4 years ago
- A formal logic framework that runs in the browser☆348Dec 15, 2024Updated last year
- Some useful algorithms missing from networkx, including community detection, constraint calculation, and coreness. Not ready for general …☆17Aug 27, 2010Updated 15 years ago
- A *LISP emulator☆35Apr 1, 2020Updated 6 years ago
- Logic and Mechanized Reasoning☆119Jan 11, 2026Updated 6 months ago
- News aggregator powered by Wikipedia☆25Mar 24, 2022Updated 4 years ago
- Learn Lean and topology☆26Apr 28, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The RScheme Revival Project☆33Nov 10, 2009Updated 16 years 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
- 📦 Flutter package for the geist design framework☆10Sep 30, 2020Updated 5 years ago
- Giving gp to hack clubbers who contribute to open source!☆15Feb 9, 2024Updated 2 years ago
- Generate SVG images for `preview-latex`☆13Dec 25, 2021Updated 4 years ago
- Tools for interoperability between DataFrame objects and LightGraphs and MetaGraphs objects☆31Mar 12, 2026Updated 4 months ago
- Emacs Lisp client for the SpaceTraders API☆10Jul 25, 2021Updated 4 years ago
- A template for Paris-Salcay PhD thesis☆12Apr 20, 2026Updated 3 months ago
- 🏦 Because Hack Club Bank needs custom domains.☆12Mar 28, 2021Updated 5 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.
- Public repository for Abstact Algebra Theory and Applications☆192Updated this week
- Fast code for SIR on temporal networks☆27Aug 11, 2021Updated 4 years ago
- Experimental Language Server proxy/multiplexer☆16Sep 1, 2024Updated last year
- ☆10Jan 11, 2024Updated 2 years ago
- 🖌 A platform for students to collaborate on art virtually during Arts Week 2020.☆14Oct 16, 2020Updated 5 years ago
- Awesome-spatial-temporal-scientific-machine-learning-data-mining-packages. Julia and Python resources on spatial and temporal data mining…☆14Dec 3, 2022Updated 3 years ago
- Elements of Deductive Logic, an open-source intermediate logic textbook☆14Jan 8, 2026Updated 6 months ago
- air bubble clock powered by ESP8266☆16Dec 7, 2019Updated 6 years ago
- An emacs package for creating images from source code buffers using silicon☆18Feb 17, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Experimental deltachat client☆15May 11, 2024Updated 2 years ago
- Javascript library for defining and solving DAE equations efficiently using WebAssembly☆16Sep 23, 2025Updated 9 months 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
- Materials accompanying the upstrap paper☆12Oct 19, 2020Updated 5 years ago
- Collection of interesting patterns, inspired by nature, powered by p5js☆10Jun 2, 2018Updated 8 years ago
- Kriging estimators for the GeoStats.jl framework☆16Sep 20, 2023Updated 2 years ago
- A plugin to add marimo features to sphinx documentation☆16Nov 14, 2025Updated 8 months ago