Sign in

Repository Index

47,133 repositories indexed

Tag: Lists and learning
Tag
Filters

Filters

Clear all filters

1–5 of 5 · Most stars

Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)

  • calculus
  • counting
  • functions
  • graph

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

  • coq
  • randomized-algorithms
  • probability
  • monad