This is the repository for PLP, An introduction to mathematical proof, book
☆25Jan 26, 2026Updated last month
Alternatives and similar repositories for PLP
Users that are interested in PLP are comparing it to the libraries listed below
Sorting:
- Home for the book-in-progress 'Bayesian Learning'☆29Oct 29, 2025Updated 4 months ago
- A Julia implementation of Bayesian linear regression using marginal likelihood for hyperparameter optimization, as presented in Chris Bis…☆29Jan 20, 2022Updated 4 years ago
- Tasks which can keep track of how data flows through it☆30Jun 10, 2024Updated last year
- Nonconvex Regularized Robust Regression via I-LAMM Algorithm☆11May 9, 2022Updated 3 years ago
- Repository for my machine learning students during the Spring 2022 semester☆24Sep 1, 2023Updated 2 years ago
- DEFT-FUNNEL: An open-source global optimization solver for constrained grey-box and black-box problems in Matlab.☆11Jun 29, 2021Updated 4 years ago
- Linear MALDI-ToF simultaneous spectrum deconvolution and baseline removal☆12Jan 23, 2020Updated 6 years ago
- This project uses Raspberry Pi to create an offline WiFi hotspot and chat room, allowing the general public to connect to the Meshtastic …☆27Feb 5, 2026Updated last month
- マキノJ3シリーズにFANUC FOCASライブラリを使って通信するPythonのサンプルです。☆15Mar 29, 2019Updated 6 years ago
- Python scripts that provide an interface to work with classical propositional and first-order logic, based on my solutions to the textboo…☆15Oct 2, 2025Updated 5 months ago
- Latent Variable Methods Demonstrator, Version 0.1.0☆10Feb 21, 2025Updated last year
- Parallel Build Strategy Experiments☆17Aug 21, 2025Updated 6 months ago
- CSC3600 Network Programming - Spring 2023☆13Apr 7, 2023Updated 2 years ago
- Orthogonal Quantile Regression☆12Oct 21, 2021Updated 4 years ago
- A compile time sized array of bits☆12Aug 15, 2021Updated 4 years ago
- Bayes/Stan Short Course | July 2016 | NYC☆10Jul 6, 2017Updated 8 years ago
- DONUT: Database of Original and Non-Theoretical Applications of Topology☆17Feb 3, 2026Updated last month
- Implementation of multi-output conformal regression methods☆13Sep 23, 2025Updated 5 months ago
- Odin bindings for mimalloc (https://github.com/microsoft/mimalloc). mimalloc is a compact general purpose allocator with excellent perfor…☆11May 29, 2023Updated 2 years ago
- An automatic differentiation system for dense and sparse problems☆13Jan 16, 2025Updated last year
- ☆13May 22, 2025Updated 9 months ago
- Repository hosting the resources for the conference "ItaLean 2025", held in Bologna, Italy, December 9–12, 2025.☆22Feb 6, 2026Updated 3 weeks ago
- The Lily programming language ⚜☆10Jan 4, 2026Updated 2 months ago
- Paper repository for "Double Robust Two-Way Fixed Effect Regression for Panel Data"☆10Mar 4, 2024Updated 2 years ago
- nonconvex algorithms for solving sparse deconvolution/convolutional dictionary learning problems☆10Apr 26, 2019Updated 6 years ago
- ☆17Jul 23, 2025Updated 7 months ago
- Twitter thread explorer made in C++/Wasm/WebGL☆10May 16, 2023Updated 2 years ago
- Symmetric Sweep Operator☆12Feb 17, 2026Updated 2 weeks ago
- 📦 Easy Python to Fast Executables☆30Updated this week
- ☆16Oct 2, 2022Updated 3 years ago
- Direct Convolution (no FFT) in Julia☆11Dec 16, 2021Updated 4 years ago
- Package contains algorithms to calculate smallest enclosing sphere for a given set of points in N dimensions.☆12Feb 8, 2020Updated 6 years ago
- Option, Try, Either, and some more common basic DataTypes☆14Jul 1, 2023Updated 2 years ago
- Colby Hall's C++ Standard Library☆11Jan 13, 2020Updated 6 years ago
- Odin bindings for fasm, the flat assembler☆11Mar 20, 2025Updated 11 months ago
- Tiny CSV module for Jai☆13Feb 10, 2026Updated 3 weeks ago
- ☆11Dec 29, 2024Updated last year
- Belief state estimation for Stanford's CS238/AA228 Decision Making Under Uncertainty☆10Nov 16, 2023Updated 2 years ago
- R Package for Spatial Conformal Prediction☆10Aug 6, 2022Updated 3 years ago