Tim Button's Cambridge version of forallx
☆16Sep 26, 2018Updated 8 years ago
Alternatives and similar repositories for forallx-cam
Users that are interested in forallx-cam are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆62Aug 26, 2025Updated last year
- (Experimental but working) LightWeight Plot / Leland Wilkinson Plot -- a ggplot2 2.1.0 fork aiming for lighter weight☆15Jul 11, 2024Updated 2 years ago
- Use a variable pitch, keeping fixed pitch where it's sensible☆16Apr 7, 2021Updated 5 years ago
- Textbook on non-classical logics☆14Jul 12, 2026Updated 3 months ago
- Python code for corresponding blog post on Towards Data Science☆11Jun 22, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Tim Button's open textbook on set theory☆44Jul 12, 2026Updated 3 months ago
- The Open Scholarly Edition of James Joyce's A Portrait of the Artist as a Young Man☆21May 10, 2019Updated 7 years ago
- Emacs / Org mode integration with TickTick task management API☆26Jan 17, 2026Updated 9 months ago
- Elements of Deductive Logic, an open-source intermediate logic textbook☆14Jan 8, 2026Updated 9 months ago
- Utility package that return vscode icons for emacs☆50Dec 1, 2024Updated last year
- R-package with Algorithms and Tools for Tabular Statistics and Hierarchical Computations☆13Sep 25, 2026Updated last month
- database & aggregate search engine for arbitration outcomes☆17Feb 3, 2020Updated 6 years ago
- Elixir command-line client for tldr pages☆16Sep 5, 2025Updated last year
- ☆10Jul 7, 2026Updated 3 months ago
- 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.
- 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 12 years ago
- Productivity and analysis tools for online marketing☆10Aug 31, 2017Updated 9 years ago
- Rotate logfiles (and other files) from R☆12Oct 17, 2022Updated 4 years ago
- 🐳 Docker image that installs RStan and friends + tidyverse + RStudio☆10Aug 16, 2018Updated 8 years ago
- Goodness-of-fit tests for functional data analysis. Software companion for "A goodness-of-fit test for the functional linear model with f…☆10Aug 7, 2026Updated 2 months ago
- Setup "targets" Workflows for "iquzoo" Data Processing☆10Jun 23, 2025Updated last year
- asdf plugin for the R language☆13Jul 16, 2021Updated 5 years ago
- Exploratory Data Analysis in the Browser with R backend☆11Sep 4, 2014Updated 12 years ago
- My UNIX configuration files.☆10Oct 23, 2020Updated 6 years ago
- 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.
- R pipeline for computing persistent homology in topological data analysis. See https://doi.org/10.21105/joss.00860 for more details.☆41Sep 21, 2026Updated last month
- Various visualizations of day and night☆13Dec 24, 2020Updated 5 years ago
- Runs magit in a light emacs install☆11Sep 8, 2019Updated 7 years ago
- Exploring calendar outlining☆17Feb 14, 2024Updated 2 years ago
- Auto-complete your file path natively in RStudio, then use the {pathformatr} add-in to quickly reformat your path for use with here::here…☆14Aug 18, 2022Updated 4 years ago
- An Emacs configuration. A holy, minimal, readable alternative to spacemacs and doom-emacs.☆11Mar 23, 2020Updated 6 years ago
- R tools to download, ingest, and analyze the Phoenix dataset from the Open Event Data Alliance☆12Oct 19, 2016Updated 10 years ago
- Epidemiological Data Management☆13Dec 9, 2024Updated last year
- Fast and lightweight R6 parameter interface☆12Aug 28, 2022Updated 4 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Kashmir Geojson☆10Nov 10, 2019Updated 6 years ago
- Data and experiments with world population densities for comparison to addresses☆12Mar 15, 2017Updated 9 years ago
- Implementation of the Tower Method, a novel approach to handling missing values.☆13Mar 12, 2024Updated 2 years ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Apr 28, 2021Updated 5 years ago
- Run R Scripts and Jobs with Pushbullet Alerts☆10Jun 28, 2019Updated 7 years ago
- Declarative group-wise count and compute, describing your target table☆13Jan 8, 2026Updated 9 months ago
- R tools for dataseries.org☆10Updated this week