GitHub - josd/josd.github.io: Home page of Jos De Roo

Name		Name	Last commit message	Last commit date
Latest commit History 1,267 Commits
Papers		Papers
StyleSheets		StyleSheets
Talks		Talks
images		images
temp		temp
.gitignore		.gitignore
README		README
_config.yml		_config.yml
card.nt		card.nt
card.rdf		card.rdf
card.ttl		card.ttl
haiku.html		haiku.html
ideas.txt		ideas.txt
identity.pub		identity.pub
index. 8000 html		index.html
josd.txt		josd.txt
pub19.html		pub19.html
quote.html		quote.html
reasoners.md		reasoners.md
rotor.html		rotor.html
socket.md		socket.md
talks.html		talks.html

Repository files navigation

Home page of Jos De Roo https://josd.github.io