andrakis.github.io

GitHub IO pages

Contains a number of useful features:

Name	Name	Last commit message	Last commit date
Latest commit andrakis Set theme jekyll-theme-slate Dec 12, 2020 31e3188 · Dec 12, 2020 History 36 Commits
ide2	ide2	Fix Lithp update	Mar 31, 2017
lithp-webide	lithp-webide	Last verbosity update	Feb 10, 2017
lithp	lithp	Add Lithp REPL	Feb 4, 2017
.gitignore	.gitignore	Also updates permalink, update syntax	Feb 21, 2017
README.md	README.md	Create README.md	Feb 17, 2017
_config.yml	_config.yml	Set theme jekyll-theme-slate	Dec 12, 2020
circuits.html	circuits.html	Update default speed	Feb 2, 2017
index.html	index.html	Add ide2 link	Feb 17, 2017
index.md	index.md	Add index.md	Dec 12, 2020

Provide feedback