Loreno Heer

about
blog
publications
projects
repositories(current)
cv
teaching
submenus
publications
projects

repositories

My github repositories and other interesting repos.

GitHub users

loreno-heer

loreno-heer

GitHub Repositories

alshedivat/al-folio

alshedivat/al-folio

sagemath/sage

sagemath/sage

emacs-mirror/emacs

emacs-mirror/emacs

leanprover/lean4

leanprover/lean4

radareorg/radare2

radareorg/radare2

jpswalsh/academicons

jpswalsh/academicons

mathjax/MathJax

mathjax/MathJax

nathanlesage/academics-on-mastodon

nathanlesage/academics-on-mastodon

emacs-tw/awesome-emacs

emacs-tw/awesome-emacs

sindresorhus/awesome

sindresorhus/awesome

vim/vim

vim/vim

© Copyright 2023 Loreno Heer. Last updated: May 05, 2023.