Notes

Name		Name	Last commit message	Last commit date
Latest commit History 411 Commits
advanced-algorithms		advanced-algorithms
algebra		algebra
ant		ant
barvinok		barvinok
category-theory-in-context		category-theory-in-context
category-theory		category-theory
compact-ds		compact-ds
competitive-programming		competitive-programming
complexity		complexity
crystallography		crystallography
databases		databases
dependent-types		dependent-types
diffgeo		diffgeo
discrete-probability		discrete-probability
distributedsystems		distributedsystems
dsaa		dsaa
egg-equality-saturation-slides		egg-equality-saturation-slides
flows		flows
fomenko-homotopic-topology		fomenko-homotopic-topology
game-design		game-design
gametheory		gametheory
gaussian-geometry		gaussian-geometry
graphics		graphics
hatcher		hatcher
iiit-talks		iiit-talks
information-security		information-security
knot-theory		knot-theory
kreyszig-diffgeo		kreyszig-diffgeo
lie-algeba		lie-algeba
logic		logic
mcmc		mcmc
munkres		munkres
nonlineardynamics		nonlineardynamics
numerical-analysis		numerical-analysis
old-galois-theory		old-galois-theory
optimisation		optimisation
philosophy		philosophy
physics		physics
probabilistic-graphical-models		probabilistic-graphical-models
quantum		quantum
queueing-theory		queueing-theory
reinforcement-learning		reinforcement-learning
slides-haskell-exchange-2020-smallpt		slides-haskell-exchange-2020-smallpt
slides-intro-p-adics		slides-intro-p-adics
slides-learning-oeis		slides-learning-oeis
slides-riehl-equivalence-of-categories		slides-riehl-equivalence-of-categories
slides-riehl-limit-colimit-universal-cone		slides-riehl-limit-colimit-universal-cone
slides-riehl-yoneda		slides-riehl-yoneda
slides-why-haskell		slides-why-haskell
software-foundations		software-foundations
stats-for-finance		stats-for-finance
strings		strings
talk-intro-llvm		talk-intro-llvm
the-general-combinatorial-scheme		the-general-combinatorial-scheme
topology-of-numbers		topology-of-numbers
topos		topos
tu-intro-to-manifolds		tu-intro-to-manifolds
.gitignore		.gitignore
README.md		README.md
cp		cp
cubicaltt.pdf		cubicaltt.pdf
lean-elab-and-parser.lean.html		lean-elab-and-parser.lean.html
lean-elab-and-parser.lean.pdf		lean-elab-and-parser.lean.pdf
lean-kernel-consolidated-black-and-white.pdf		lean-kernel-consolidated-black-and-white.pdf
lean-kernel-consolidated.pdf		lean-kernel-consolidated.pdf
lean-library.pdf		lean-library.pdf
lean-meta.pdf		lean-meta.pdf
makefile		makefile
multilinear.pdf		multilinear.pdf
multilinear.tex		multilinear.tex
politics.md		politics.md
smt-modulo-oracles.ipynb		smt-modulo-oracles.ipynb

bollu/notes

Folders and files

Latest commit

History