drvinceknight / pfmView external linksLinks
Python for Mathematics: A book aimed at undergraduate mathematicians learning python
☆26Jul 15, 2025Updated 7 months ago
Alternatives and similar repositories for pfm
Users that are interested in pfm are comparing it to the libraries listed below
Sorting:
- Python scripts that provide an interface to work with classical propositional and first-order logic, based on my solutions to the textboo…☆13Oct 2, 2025Updated 4 months ago
- Python code for computation and experimentation with cut-generating functions, in particular the Gomory-Johnson infinite group problem. B…☆12Sep 26, 2025Updated 4 months ago
- Repository for my machine learning students during the Spring 2022 semester☆23Sep 1, 2023Updated 2 years ago
- Archive of questions from the Cambridge Mathematics Tripos☆10Jun 6, 2022Updated 3 years ago
- Repository hosting the resources for the conference "ItaLean 2025", held in Bologna, Italy, December 9–12, 2025.☆21Feb 6, 2026Updated last week
- ☆10Sep 13, 2024Updated last year
- マキノJ3シリーズにFANUC FOCASライブラリを使って通信するPythonのサンプルです。☆15Mar 29, 2019Updated 6 years ago
- White Dwarf Evolution Code☆12Aug 5, 2025Updated 6 months ago
- Python Toolbox For Rosetta Silent Files Processing☆10Aug 2, 2021Updated 4 years ago
- A syntactically aware search-and-replace tool for Python.☆15Jul 15, 2025Updated 7 months ago
- ☆14Jan 31, 2026Updated 2 weeks ago
- Simple number input spinner Widget for Flutter.☆11May 21, 2024Updated last year
- An Interactive Discrete Mathematics Framework for GAP☆10Feb 7, 2026Updated last week
- "If in other sciences we should arrive at certainty without doubt and truth without error, it behooves us to place the foundations of kno…☆10Dec 28, 2019Updated 6 years ago
- R Package for Spatial Conformal Prediction☆10Aug 6, 2022Updated 3 years ago
- DINO-based perceptual losses and FDD feature extraction☆24Jan 7, 2026Updated last month
- RBniCSx - reduced order modelling in FEniCSx☆12Jan 21, 2026Updated 3 weeks ago
- decision support system for robotic sampling in precision agriculture☆14Dec 13, 2018Updated 7 years ago
- An implementation of Self-Calibrating Conformal Prediction, accepted to Neurips 2024. SC-CP combines Venn-Abers calibration and conformal…☆10Jan 28, 2025Updated last year
- Generative art project☆11Apr 1, 2025Updated 10 months ago
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆11Sep 21, 2021Updated 4 years ago
- OpenSees framework with my custom commands extension.☆11Nov 2, 2012Updated 13 years ago
- A general-purpose digital data acquisition system(GDDAQ) for XIA Pixie-16☆11Dec 18, 2025Updated last month
- Homebrew tap for GAP☆15Oct 20, 2025Updated 3 months ago
- ☆11Dec 29, 2024Updated last year
- Implementation of multi-output conformal regression methods☆13Sep 23, 2025Updated 4 months ago
- Adds the recycle bin to the tray☆10Mar 28, 2020Updated 5 years ago
- Info on our monthly NR community calls to foster exchange between numerical-relativity groups and codes.☆10Apr 22, 2021Updated 4 years ago
- Provides a set of functions for performing coordinate-based tensor calculations with a focus on general relativity and black holes in par…☆11Jan 20, 2021Updated 5 years ago
- Orthogonal Quantile Regression☆12Oct 21, 2021Updated 4 years ago
- Compatibility modules for Node.js builtins in Bare☆12Oct 22, 2025Updated 3 months ago
- HIP: Hessians with Interatomic Potentials☆28Feb 6, 2026Updated last week
- Symmetric Sweep Operator☆12Sep 10, 2024Updated last year
- ☆16Oct 2, 2022Updated 3 years ago
- Simple slow-rotation neutron star structure solver☆12Nov 12, 2020Updated 5 years ago
- minimum viable experiment using evolution strategy to play catch☆21Jan 28, 2018Updated 8 years ago
- An automatic differentiation system for dense and sparse problems☆13Jan 16, 2025Updated last year
- 基于朴素贝叶斯分类的垃圾词检测☆10Sep 17, 2018Updated 7 years ago
- ☆17Jul 23, 2025Updated 6 months ago