Veit Heller hellerve
0 Followers · 0 Following
Repositories
51
 Projects Packages Public Activity Starred Repositories
hellerve pushed to master at hellerve/beamerthemeveit 2020-04-04 14:39:02 +00:00
8171d635a5 title page: add possible title graphic
afe1d82251 add sections to theme
1798152010 initial
hellerve created repository hellerve/beamerthemeveit 2020-04-04 14:38:52 +00:00
hellerve pushed to master at hellerve/website 2020-04-04 14:38:08 +00:00
34e151e046 index: add link to sbcli and rephrase zepto
e07b81a0f3 sidebar: remove poems
84da727964 style: remove stupid spacing
a3f3fe00c4 readme: 80 char limit; favicon: prevent stray request
9583824913 index: seo stuff
hellerve created repository hellerve/website 2020-04-04 14:37:53 +00:00
hellerve pushed to master at playgrounds/agda-doodles 2020-04-04 14:31:17 +00:00
5bf71e63e7 finished playing with abels tutorial
a67cd02e55 initial
hellerve created repository playgrounds/agda-doodles 2020-04-04 14:31:02 +00:00
hellerve pushed to master at degrowth/mg 2020-04-04 14:30:25 +00:00
acab3de57a Update README.md
ae99050289 split up into modules
043b037cef add readme
6d5398a35c first version
hellerve created repository degrowth/mg 2020-04-04 14:30:12 +00:00
hellerve pushed to master at hellerve/vvm 2020-04-04 14:23:09 +00:00
4b0ff94f13 Update README.md
d282e61938 gitignore: added
6eed658cf7 cleaner readme
74e9c43403 updated readme for new version
9b55ee0f54 updated virtual machine routines
hellerve created repository hellerve/vvm 2020-04-04 14:23:00 +00:00
hellerve pushed to master at hellerve/request 2020-04-04 14:22:21 +00:00
dba2b919a1 readme: fix syntax highlighting
826daba124 added docs
bd033b9808 added documentation
5ba2286e3c fixed user-agent header
2501919978 made request ready for zeps
hellerve created repository hellerve/request 2020-04-04 14:22:12 +00:00
hellerve pushed to master at hellerve/tokio-playground 2020-04-04 14:20:10 +00:00
87d0d699fc spawn-hello & msg_pass: initial
135337b0ab fib: initial, with better version
36bfc6f1bd readme: add footer
5b59369043 async-tcp & future-hello: use better futures functions
b439b235f8 async-tcp: initial
hellerve created repository hellerve/tokio-playground 2020-04-04 14:20:02 +00:00
hellerve pushed to master at hellerve/tla-notes 2020-04-04 14:19:20 +00:00
371686c260 ab: add fairspec theorem
ea55b8b33a ab: add initial specs
31fbbc4d95 remove: add simple remove model
7e0edb007c add paxos commit
a591cb9219 no toolboxes, apparently
hellerve created repository hellerve/tla-notes 2020-04-04 14:19:06 +00:00
hellerve pushed to master at hellerve/csc 2020-04-04 14:17:43 +00:00
b50497a625 initial & last
hellerve created repository hellerve/csc 2020-04-04 14:17:34 +00:00
hellerve pushed to master at degrowth/v 2020-04-04 14:16:59 +00:00
92eab0bf74 initial
hellerve created repository degrowth/v 2020-04-04 14:16:47 +00:00