Stars
238
Forks
52
Language
HTML
Last Updated
Mar 28, 2024
Similar Repos
Repo | Language | Stars | Description | Updated At |
---|---|---|---|---|
HTML | 2 | The Book of Statistical Proofs | Nov 19, 2022 | |
TeX | 48 | Tools for The Book of Statistical Proofs | Apr 14, 2023 | |
Lean | 24 | Formalizing "Proofs from THE BOOK" | Apr 22, 2023 | |
Agda | 4 | Agda proofs of the HoTT book exercises | Dec 27, 2018 | |
Jupyter Notebook | 2 | copy of the python book code for the book Statistical Rethinking | Nov 16, 2021 | |
HTML | 359 | A book for the coursera statistical inference class | Jul 21, 2022 | |
R | 27 | Resources for the book "Statistical Computing with R" | May 12, 2023 | |
None | 2 | Examples and exercises from the book Program Proofs translated to Gobra | Nov 11, 2023 | |
JavaScript | 7 | (POC) Social recovery using address book merkle proofs | Feb 03, 2022 | |
HTML | 20 | Notes included mathematical proofs related to Machine Learning or Statistical Learning. | Sep 14, 2022 | |
R | 1913 | Statistical Rethinking course and book package | Apr 19, 2023 | |
R | 2 | Statistical Rethinking course and book package | May 13, 2024 | |
Jupyter Notebook | 6 | Code for the book: "Statistical Learning Methods, by Hang Li". | Jun 18, 2021 | |
Jupyter Notebook | 39 | open source E-book on statistical physics | May 08, 2023 | |
Jupyter Notebook | 3 | A repo for managing implementations for the book: statistical learning method. | Nov 21, 2019 | |
TeX | 2 | Source for the book Statistical programming with R , Tidyverse and Stan | Sep 01, 2021 | |
TeX | 13 | Introduction to Statistical Learning Using R Book Club | Nov 14, 2022 | |
TeX | 4 | a C++ class library for statistical set processing and computer-aided proofs in statistics. | Oct 06, 2021 | |
None | 2 | Pumpkin-book for Machine Learning Study (Algorithm & Statistical proof) | Mar 08, 2023 | |
TeX | 225 | Reinforcement learning theory book about foundations of deep RL algorithms with proofs. | May 24, 2023 | |
None | 2 | Solutions to exercises from the book Statistical Rethinking 2nd edition by Richard McElreath. | Oct 24, 2023 | |
Ada | 2 | This repository contains some programs from Rustan Leino's book "Program Proofs" verified with SPARK. | Apr 26, 2023 | |
JavaScript | 2 | A league specialized statistical record book and almanac for fantasy football | Nov 04, 2021 | |
TeX | 5 | Mathematical proofs of the bbchallenge project. | Feb 06, 2023 | |
Go | 3 | Demo of converting iavl range proofs into confio/proofs | Dec 13, 2021 | |
Rust | 10 | Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct. | Mar 13, 2023 | |
R | 6 | Datasets for the 6th Edition of the book Applied Multivariate Statistical Analysis by Richard Johnson … | Aug 23, 2022 | |
Kotlin | 9 | Arrow Proofs Plugin | Feb 22, 2023 | |
None | 11 | Interesting ATP Proofs | Mar 07, 2023 | |
C++ | 676 | Proofs-of-concept | May 27, 2023 | |
Coq | 2 | My proofs for the Coq proof assistant | Aug 23, 2021 | |
Python | 135 | The original p2p version (non-transferable proofs) | Aug 09, 2022 | |
Solidity | 2 | Implementation of inclusion proofs on the FEVM | Oct 12, 2023 | |
Coq | 13 | HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs) | May 15, 2022 | |
Jupyter Notebook | 614 | A series of Python Jupyter notebooks that help you better understand "The Elements of Statistical … | Sep 04, 2022 | |
Jupyter Notebook | 2131 | This repository contains the exercises and its solution contained in the book "An Introduction to … | May 15, 2023 | |
None | 2 | This repository contains the exercises and its solution contained in the book "An Introduction to … | Apr 20, 2023 | |
Coq | 27 | Coq proofs for the paper "Calculating Correct Compilers" | Apr 09, 2023 | |
Coq | 4 | Coq proofs for the paper "Cutting out Continuations" | May 07, 2020 | |
JavaScript | 30 | Tool to verify the proofs generated by Provable | May 10, 2023 | |
Lean | 4 | Many proofs of the Pythagoras theorem - Lean 4 | Oct 18, 2023 | |
Lean | 4 | lean proofs of math135 | May 26, 2021 | |
Solidity | 6 | F* proofs of Ethereum | Aug 16, 2022 | |
Python | 7 | SCP proofs and models | Jun 07, 2022 | |
Isabelle | 407 | seL4 specification and proofs | Jul 26, 2022 | |
Agda | 2 | Denotational Zero Knowledge Proofs | May 12, 2022 | |
Isabelle | 2 | Teaclave specification and proofs. | Jan 29, 2022 | |
Agda | 4 | Mathematical proofs in Agda | Jan 28, 2022 | |
Haskell | 3 | Logic proofs for pandoc. | Sep 01, 2022 | |
Coq | 4 | Proofs about graph algorithms | Oct 23, 2021 |