Reading list for Probability and Statistics
☆31Jun 14, 2025Updated last year
Alternatives and similar repositories for probability-statistics-reading-list
Users that are interested in probability-statistics-reading-list are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Pataphysics; what the fuck?☆10Dec 8, 2022Updated 3 years ago
- Tiny Forth-like language implementation☆25Apr 14, 2024Updated 2 years ago
- ☆15May 23, 2017Updated 9 years ago
- Repo for Crypto Option Calibration project in CMF☆14Dec 10, 2022Updated 3 years ago
- ☆14Apr 9, 2017Updated 9 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.
- This repository replicates the figures from the 3rd edition of the book "Recursive Macroeconomic Theory" by Lars Ljungqvist and Thomas J.…☆12Feb 9, 2016Updated 10 years ago
- Agda from Nothing: Order in the Types☆13Jan 23, 2017Updated 9 years ago
- Yet Another Graph Visualisation of the logical dependencies in Spinoza's Ethics☆13Nov 25, 2015Updated 10 years ago
- TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.☆18Jun 22, 2015Updated 11 years ago
- D3 interactive wheel visualisation of Hegel's Science of Logic☆13Mar 28, 2015Updated 11 years ago
- An interpreter for Gödel's System T☆13Apr 17, 2017Updated 9 years ago
- A Gnus backend for Twitter☆16Jul 5, 2023Updated 3 years ago
- The secmodel_sandbox security module for NetBSD☆14Oct 25, 2025Updated 9 months ago
- Creates a 3D Model (OpenSCAD) of the PCB in a Fritzing Sketch.☆13Nov 16, 2015Updated 10 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A toolkit for higher-dimensional diagram rewriting.☆21Sep 15, 2022Updated 3 years ago
- Custom LaTeX template and document class, that provide proper GOST 7.32-2017 formatting☆10May 17, 2026Updated 2 months ago
- Composable probability monads in Haskell.☆22Jul 17, 2015Updated 11 years ago
- Accurately solving the Diamond-Mortenson-Pissarides model of labor-market search☆19Feb 14, 2026Updated 5 months ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Dec 30, 2023Updated 2 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆26Sep 12, 2024Updated last year
- RKN-related stuff☆13Nov 13, 2019Updated 6 years ago
- GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups☆22Jul 10, 2026Updated last month
- ahrf - [a]scii (or [a]wk) [h]uman [r]eadable [f]ile☆11Mar 31, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Automatically disassemble emacs buffers containing LLVM bitcode.☆15Oct 8, 2021Updated 4 years ago
- Field-Oriented Control (FOC) motor firmware for STM32, in Rust + Embassy☆18Updated this week
- Cybersecurity 2023-2027☆21May 29, 2026Updated 2 months ago
- IPD algorithm written in multiple languages for great good!☆21Oct 27, 2016Updated 9 years ago
- A curated list of mechanism design resources and links.☆24Apr 5, 2021Updated 5 years ago
- The FSRS algorithm in 100 lines of Rust.☆20Jan 1, 2025Updated last year
- IRC bot written in GNU Awk☆17Feb 20, 2016Updated 10 years ago
- Формирование спецификации, перечня элементов и ведомости покупных изделий по ЕСКД из Altium и KiCad☆13Jun 18, 2025Updated last year
- Encodes and decodes "Gödel Numbers" as described in the book "Gödel's Proof" by Ernest Nagel and James R. Newman.☆22Oct 24, 2016Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- plan 9 implementation of the pico image composing language☆17Jul 7, 2026Updated last month
- Stuff of my PhD I want to share publicly: all code, texts of my papers, research-notes & research-diary☆31Nov 20, 2020Updated 5 years ago
- A tiny implementation of the Levenshtein edit distance algorithm.☆13Jun 29, 2025Updated last year
- materials for ESSLLI 2015 course: Monads and Natural Language☆26Aug 12, 2015Updated 11 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Apr 18, 2018Updated 8 years ago
- Macroeconomics at Claremont Graduate University☆48Jan 15, 2019Updated 7 years ago
- get copilot suggestions for any interactive program (rlwrap for copilot)☆25Feb 5, 2023Updated 3 years ago