P.D. Magnus' forallx logic textbook
☆69Mar 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:
- Tim Button's open textbook on set theory☆41Jun 25, 2025Updated 8 months ago
- Tim Button's Cambridge version of forallx☆15Sep 26, 2018Updated 7 years ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆58Aug 26, 2025Updated 6 months ago
- UCalgary version of forallx, an introduction to formal logic☆117Dec 18, 2025Updated 2 months ago
- An open-source, customizable intermediate logic textbook☆1,260Feb 17, 2026Updated last week
- Textbook on Gödel's incompleteness theorems and computability theory☆22Jul 2, 2025Updated 7 months ago
- A Bayesian model for time-series count data with weekend effects and a lagged reporting process☆10Mar 7, 2022Updated 3 years ago
- Code and data for the CIKM2021 paper "Learning Ideological Embeddings From Information Cascades"☆10Sep 8, 2021Updated 4 years ago
- Recover temporal information from grown trees, using Python☆11Mar 11, 2021Updated 4 years ago
- ☆14Jan 7, 2022Updated 4 years ago
- Some useful algorithms missing from networkx, including community detection, constraint calculation, and coreness. Not ready for general …☆17Aug 27, 2010Updated 15 years ago
- Peter Selinger's LaTeX macros for Fitch style natural deduction☆19Dec 17, 2023Updated 2 years ago
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- An OpenMath 2.0 implementation in Python☆17May 22, 2020Updated 5 years ago
- A formal logic framework that runs in the browser☆325Dec 15, 2024Updated last year
- Tutorial for making open textbooks using bookdown☆14Dec 10, 2020Updated 5 years ago
- ☆15Mar 17, 2021Updated 4 years ago
- Interactive notebooks with tutorials for the agentpy package.☆15Feb 1, 2022Updated 4 years ago
- Python implementation of locus-based genetic algorithm of community detection☆12Aug 31, 2020Updated 5 years ago
- Actively maintained fork of Peter Miller's UCSD P-System tools - Cross-compiler☆18Nov 2, 2025Updated 3 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 6 years ago
- ☆19Nov 30, 2021Updated 4 years ago
- 2016 Edition of the Free Encyclopedia of Mathematics (top-level repo)☆19Mar 8, 2016Updated 9 years ago
- Code to test the raw overhead of a JNI call, as opposed to calling the method from C☆19Feb 18, 2011Updated 15 years ago
- Simple functional pipes for python☆19Aug 5, 2024Updated last year
- Visualizing the Stanford Encyclopedia of Philosophy☆22Oct 24, 2017Updated 8 years ago
- S.A.S.S.A.F.R.A.S. : a simple automatic scholar sorter appropriate for researchers and scientists☆20Oct 1, 2025Updated 4 months ago
- Binary EYE is a viewer of binary files with a built-in editor☆23Oct 7, 2021Updated 4 years ago
- Local Community Detection in Multiple Netwrks☆16Feb 27, 2025Updated last year
- ☆44Nov 25, 2016Updated 9 years ago
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆20Apr 13, 2025Updated 10 months ago
- XXDP was, and remains, the PDP-11 diagnostic operating system. This project attempts to recover XXDP sources and documents.☆28Dec 11, 2022Updated 3 years ago
- Automatically exported from code.google.com/p/ghilbert☆47Sep 28, 2017Updated 8 years ago
- Simulate a 4-function TI calculator and the Sinclair Scientific calculator using the original source code☆30Apr 6, 2018Updated 7 years ago
- Jim is a small footprint Tcl interpreter, with some changes to the original language but mostly compatible.☆59Nov 20, 2009Updated 16 years ago
- The RScheme Revival Project☆33Nov 10, 2009Updated 16 years ago
- A Coq formalization of the textbook Categories and Toposes: Visualized and Explained☆21Sep 21, 2022Updated 3 years ago
- Open textbook on modal logic☆24Jul 1, 2025Updated 7 months ago
- The Pascal-F Verifier☆51Jul 17, 2017Updated 8 years ago