christopherastone's Stars
bozsahin/cogs517-philosophy-of-cogsci
This is the repo for the course above at METU when i teach it.
anjapetkovic/type-theory-slovene-dictionary
A dictionary of slovene translations of type-theoretical notions and notions from logic and foundations of mathematics.
FormidableLabs/redux-little-router
A tiny router for Redux that lets the URL do the talking.
eliben/llvm-clang-samples
UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools
mathjax/MathJax
Beautiful and accessible math in all browsers