Materiais da disciplina SME0221 Introdução à Inferência Estatística oferecido no ICMC USP
☆29Feb 26, 2026Updated last week
Alternatives and similar repositories for IntroducaoaInferenciaEstatistica
Users that are interested in IntroducaoaInferenciaEstatistica are comparing it to the libraries listed below
Sorting:
- Context Logger for Golang☆23Oct 31, 2025Updated 4 months ago
- ☆13Feb 3, 2026Updated last month
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago
- Various mechanized proof files for fun.☆13Aug 11, 2025Updated 6 months ago
- Miscellaneous Racket utilities lacking a better home☆14Updated this week
- Toy distributed PostgreSQL by implementing SQL over KV☆11Jan 14, 2026Updated last month
- 🌀 A minimal C library offering generic, contiguous dynamic arrays with O(1) amortized push.☆19Sep 22, 2025Updated 5 months ago
- Sample Ansible RPC playbook☆11Oct 30, 2021Updated 4 years ago
- ☆14Feb 26, 2026Updated last week
- ☆16Nov 20, 2024Updated last year
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- Some quines in the Go programming language☆15Mar 8, 2023Updated 3 years ago
- Emulate the AWS IoT Button on a Raspberry Pi with a simple push button using this C++ sample☆10Sep 16, 2016Updated 9 years ago
- ☆13Jul 10, 2024Updated last year
- 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
- An example of using Octave on mybinder.org☆15Apr 25, 2025Updated 10 months ago
- A gentle introduction to Isabelle and Isabelle/HOL☆17Mar 27, 2025Updated 11 months ago
- An easy emoji plugin for vim written in vim9script☆10Feb 15, 2026Updated 3 weeks ago
- ☆29Dec 15, 2025Updated 2 months ago
- show flycheck errors in the frame title☆10Mar 21, 2021Updated 4 years ago
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- ☆12Oct 7, 2019Updated 6 years ago
- ☆19Nov 5, 2025Updated 4 months ago
- USP Game Development Kit or USPGameDev Kit =D☆18Jun 15, 2018Updated 7 years ago
- Stochastic trace estimation using JAX☆17Aug 20, 2025Updated 6 months ago
- XTDB querying CLI☆15Jul 17, 2024Updated last year
- Mustache templates for Haskell. megaparsec -> parsec; stache -> microstache☆17Jan 15, 2025Updated last year
- Framework for type-safe pure functional and non-cubical tensor processing, written in Idris 2☆29Updated this week
- Spy Cli☆16Jan 25, 2022Updated 4 years ago
- Experiments with some ways of automating reasoning in lean 4☆17Apr 20, 2024Updated last year
- MCP server to control Philips Hue lights, including sending Morse code through them☆21Mar 20, 2025Updated 11 months ago
- Automatic identification of regions in the latent space of a model that correspond to unique concepts, namely to concepts with a semantic…☆14Nov 22, 2023Updated 2 years ago
- A well typed by construction kernel language for bidirectional programming☆14Jan 2, 2025Updated last year
- L1TTLE PAWS - Arcade physics platformer with procedural art and levels for JS13K!☆23Jan 18, 2026Updated last month
- Compositional Verification of Composite Byzantine Protocols☆13Aug 24, 2024Updated last year
- Links to recourses for the Lean Theorem Prover☆12Dec 3, 2019Updated 6 years ago
- A P model of durable Promises☆14Oct 6, 2023Updated 2 years ago
- Go monorepo for a framework to build Linux block devices in userspace☆31Oct 18, 2025Updated 4 months ago
- 🔥 Lightweight, in-process Pub/Sub library for transient data flows.☆30Aug 6, 2025Updated 7 months ago