Block or Report
Block or report mcol
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
lean4game-logic Public
Forked from Trequetrum/lean4game-logicMake/Encode some basic logic puzzles
Lean MIT License UpdatedJul 10, 2024 -
NNG4 Public
Forked from leanprover-community/NNG4Natural Number Game
Lean Apache License 2.0 UpdatedJul 4, 2024 -
-
-
-
hsstan Public
An R package for biomarker discovery using Bayesian models implemented in Stan
-
nestfs Public
An R package for cross-validated (nested) forward selection
-
formalising-mathematics-2022 Public
Forked from ImperialCollegeLondon/formalising-mathematics-2022Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.
Lean UpdatedDec 1, 2022 -
mathematics_in_lean_source Public
Forked from avigad/mathematics_in_lean_sourceSource code for the Mathematics in Lean tutorial.
Lean UpdatedJun 13, 2022 -
formalising-mathematics Public
Forked from ImperialCollegeLondon/formalising-mathematicsMaterial for Kevin Buzzard's 2021 TCC courrse on formalising mathematics.
Lean Apache License 2.0 UpdatedApr 20, 2022 -
phd-thesis Public archive
Advances in Interior Point Methods for Large-Scale Linear Programming
-
-
julia-emacs Public
Forked from JuliaEditorSupport/julia-emacsJulia support in Emacs.
Emacs Lisp Other UpdatedMar 11, 2022 -
backports Public
Forked from r-lib/backportsReimplementations of Functions Introduced Since R-3.0.0
R UpdatedNov 23, 2021 -
ggplot2 Public
Forked from tidyverse/ggplot2An implementation of the Grammar of Graphics in R
R GNU General Public License v2.0 UpdatedNov 21, 2021 -
math Public
Forked from stan-dev/mathStan Math Library
C++ BSD 3-Clause "New" or "Revised" License UpdatedOct 18, 2021 -
data.table Public
Forked from Rdatatable/data.tableR's data.table package extends data.frame:
R Mozilla Public License 2.0 UpdatedSep 23, 2021 -
-
-
-
-
-
-
cmdstanr Public
Forked from stan-dev/cmdstanrCmdStanR: the R interface to CmdStan
R Other UpdatedDec 20, 2019 -
loo Public
Forked from stan-dev/looloo R package for approximate leave-one-out cross-validation (LOO-CV) and Pareto smoothed importance sampling (PSIS)
R GNU General Public License v3.0 UpdatedDec 14, 2019 -
lwjglbook-bookcontents Public
Forked from lwjglgamedev/lwjglbook-bookcontents-legBook contents for the book "3D Game Development with LWJGL 3" (https://www.gitbook.com/book/lwjglgamedev/3d-game-development-with-lwjgl/details).
CSS UpdatedNov 7, 2019 -
projpred Public
Forked from stan-dev/projpredProjection predictive variable selection
R UpdatedOct 17, 2019 -
bayesplot Public
Forked from stan-dev/bayesplotbayesplot R package for plotting Bayesian models
R GNU General Public License v3.0 UpdatedSep 19, 2019 -
rstanarm Public
Forked from stan-dev/rstanarmrstanarm R package for Bayesian applied regression modeling
R GNU General Public License v3.0 UpdatedSep 19, 2019 -
knitr_case_studies Public
Forked from betanalpha/knitr_case_studiesInference case studies in knitr
HTML UpdatedAug 18, 2019