Tim Button's Cambridge version of forallx
☆15Sep 26, 2018Updated 7 years ago
Alternatives and similar repositories for forallx-cam
Users that are interested in forallx-cam are comparing it to the libraries listed below
Sorting:
- Textbook on non-classical logics☆13Jun 25, 2025Updated 8 months ago
- P.D. Magnus' forallx logic textbook☆69Mar 30, 2025Updated 11 months ago
- UCalgary version of forallx, an introduction to formal logic☆117Dec 18, 2025Updated 2 months ago
- The most recent documentation of OpenReview☆30Feb 3, 2026Updated 3 weeks ago
- Textbook on Gödel's incompleteness theorems and computability theory☆22Jul 2, 2025Updated 8 months ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆58Aug 26, 2025Updated 6 months ago
- Setup "targets" Workflows for "iquzoo" Data Processing☆10Jun 23, 2025Updated 8 months ago
- Goodness-of-fit tests for functional data analysis. Software companion for "A goodness-of-fit test for the functional linear model with f…☆10Oct 14, 2023Updated 2 years ago
- ☆13Mar 3, 2023Updated 2 years ago
- Helpers for RQDA☆11Jun 1, 2023Updated 2 years ago
- Forest products trade flows database☆13Apr 9, 2020Updated 5 years ago
- A simple demo of using formr.org to create a choice-based conjoint survey☆10Oct 21, 2022Updated 3 years ago
- Archive/Backup and Render GroupMe chats as JSON and HTML!☆12Aug 20, 2018Updated 7 years ago
- SQL project to help the user track their workouts, nutrition, sleep, water intake and offer recommendations.☆10Nov 12, 2023Updated 2 years ago
- Basic implementation 4th order Runge Kutta method for ODE's☆11Oct 27, 2021Updated 4 years ago
- Leveraging A-priori Knowledge in Predictive Business Process Monitoring☆10Jul 16, 2018Updated 7 years ago
- Using the function read.table() to break file into chunks to loop and process them. This allows processing files of any size beyond what …☆10Aug 19, 2014Updated 11 years ago
- ☆10Apr 26, 2023Updated 2 years ago
- Stata scripts for statistics☆10Dec 31, 2016Updated 9 years ago
- ☆10Apr 6, 2023Updated 2 years ago
- rddapp: Regression Discontinuity Design Application☆11Sep 2, 2025Updated 5 months ago
- Find Functions and their Dependencies☆13Feb 21, 2022Updated 4 years ago
- Difference-in-Differences analysis of survey data to estimate causal effects☆10Feb 27, 2019Updated 7 years ago
- A way to track my readings☆12Feb 13, 2026Updated 2 weeks ago
- Unity project files for creating asset bundle mods for Sky Rogue☆14Sep 17, 2020Updated 5 years ago
- One hour lecture to introduce LaTeX to maths undergraduates.☆10Oct 2, 2020Updated 5 years ago
- ☆10Apr 24, 2020Updated 5 years ago
- HammerLib is an essential tool for developing mods easily. Packed with a lot of utilities, this library provides nearly anything a modder…☆13Mar 26, 2025Updated 11 months ago
- European Commission Annual Macro-economic (AMECO) Database☆10Nov 5, 2020Updated 5 years ago
- Python Wrapper for Survey Solutions API☆11Nov 5, 2025Updated 3 months ago
- A CLI tool to for crypto functions☆13Updated this week
- A Rust library to represent numbers as large as 10^^1e308 and as small as 10^-10^^1e308. Designed for incremental games.☆12May 20, 2024Updated last year
- Using poisson distribution to optimize/simulate staffing count decisions to minimize wait times☆11Feb 3, 2019Updated 7 years ago
- Project evaluating player skill under pressure using Statsbomb public event level data☆11Jun 22, 2019Updated 6 years ago
- my first ever browser game☆10Jun 21, 2025Updated 8 months ago
- R package for NetLogo experiments http://bergant.github.io/nlexperiment/☆16Aug 9, 2018Updated 7 years ago
- Twine interactive source code.☆10Mar 4, 2019Updated 6 years ago
- Simple calculator built with R-Shiny☆14Dec 16, 2021Updated 4 years ago
- Simple distance sampling analysis☆12Oct 17, 2025Updated 4 months ago