Writing proofs to Twitter since April 2020
☆12Jun 9, 2022Updated 3 years ago
Alternatives and similar repositories for mathsproofbot
Users that are interested in mathsproofbot are comparing it to the libraries listed below
Sorting:
- @logicbot@mathstodon.xyz☆21Apr 15, 2023Updated 2 years ago
- Can you solve all the puzzles in this repo? Master Julia in an easy way!☆22Sep 20, 2022Updated 3 years ago
- Software Tools in JavaScript☆30Mar 5, 2023Updated 2 years ago
- ☆34Jul 27, 2025Updated 7 months ago
- ☆11Feb 20, 2026Updated last week
- Neural-Network representation of Quantum Systems☆41Apr 29, 2020Updated 5 years ago
- Windfarm Open Data Analysis: “La Haute Borne” (Meuse, France)☆13Nov 12, 2018Updated 7 years ago
- Toolkit for Bayesian scaling analysis☆14Sep 8, 2022Updated 3 years ago
- Interactive demo of the Boyer-Moore string search algorithm☆12Jun 6, 2020Updated 5 years ago
- ⚛ opinionated electron application template☆12Jun 20, 2024Updated last year
- DuraCloud open source project☆18Dec 3, 2025Updated 2 months ago
- Material for a course on applied machine-learning for scientists. Taught at EPFL in spring 2018.☆11May 3, 2018Updated 7 years ago
- High Dynamic Range imaging with Altera DE2-115.☆13Mar 1, 2021Updated 5 years ago
- Deployed version of Tableaunoir. Do not modify this repository.☆11Feb 18, 2026Updated last week
- Sparse symmetric indefinite solver implemented with a runtime system☆13May 11, 2020Updated 5 years ago
- playing with gpt4☆14Mar 17, 2023Updated 2 years ago
- Javascript implementation of Fractran☆15Sep 14, 2017Updated 8 years ago
- ☆13Dec 28, 2022Updated 3 years ago
- Fast Fourier transform on hexagonal grids using Birdsong and Rummelt's algorithm☆12Feb 10, 2020Updated 6 years ago
- Create a data visualization using Polymer and WebGL☆14Jun 10, 2017Updated 8 years ago
- Evaluates the negativity of tweets in relation to candidate(s) that the tweeter follows☆10Jun 29, 2023Updated 2 years ago
- A C++ format IO library, based on standard streams.☆10Jan 3, 2022Updated 4 years ago
- Fun little project to help me beat my Mom at Words with Friends.☆13Apr 26, 2020Updated 5 years ago
- Uses the D8M camera module, then processes the image to detect red objects, and then overlay an x,y crosshair on the largest red object. …☆15Jan 19, 2018Updated 8 years ago
- Do we need rebalancing strategies? A theoretical and empirical study around SMOTE and its variants (Sakho, Malherbe and Scornet; 2024)☆11Sep 2, 2025Updated 6 months ago
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- Information about GPO's XPub System and Sample Output Files☆10Apr 7, 2022Updated 3 years ago
- Goofy physics notation☆11Apr 7, 2020Updated 5 years ago
- AntakIA is THE tool to explain an ML model or replace it with a collection of basic explainable models.☆13Feb 16, 2026Updated last week
- A Python script to process data from http://killedbypolice.net☆10Feb 1, 2016Updated 10 years ago
- A book about datalog☆12Nov 26, 2022Updated 3 years ago
- a copy of our trading bot in the IMC prosperity trading competition☆11Apr 3, 2023Updated 2 years ago
- Clustering-based Forecasting Method for Individual End-consumer Electricity Consumption Using Smart Grid Data☆10Nov 26, 2018Updated 7 years ago
- Batched routines (BLAS, LAPACK, etc.) for multi-dimensional arrays☆12Apr 10, 2022Updated 3 years ago
- Example repo showing how to build wheels with cibuildwheel and automatically upload to PyPI on every tag☆15Nov 1, 2021Updated 4 years ago
- ☆15Jan 28, 2025Updated last year
- LOC Standards, Schemas, Stylesheets, etc.☆11Sep 30, 2025Updated 5 months ago
- Fast tensor disentangling algorithm☆10Jun 4, 2021Updated 4 years ago
- A friendly UI for arXiv hosting papers on fairness and ethics in Machine Learning & Data Science☆12Jul 4, 2019Updated 6 years ago