hellerve Veit Heller

0 Followers · 0 Following

Berlin

https://veitheller.de

i don’t know much about anything.

Joined on 2019-12-10

Repositories

51

Projects Packages Public Activity Starred Repositories

hellerve pushed to master at carpentry/sqlite3 2020-06-22 11:08:12 +00:00

a689c3ec85 version bump

hellerve pushed to master at carpentry/sqlite3 2020-06-22 11:06:05 +00:00

f99c5dc329 Merge pull request #1 from TimDeve/update-to-latest-carp

f037790d07 Updates the docs so that the example work straight away

8818ec83ab Changes Char to CChar & adds implements interfaces

Compare 3 commits »

hellerve pushed to master at hellerve/dotfiles 2020-06-08 10:10:39 +00:00

9dcf1075de vim: simplify; zsh: remove simplify emptytrash; gitconfig: add pull

hellerve pushed to master at playgrounds/agda-doodles 2020-06-05 17:01:46 +00:00

075535ec7e done with induction

hellerve pushed to master at playgrounds/agda-doodles 2020-06-05 07:18:21 +00:00

d425272d94 reorganize and add plfa

hellerve pushed to master at carpentry/redis 2020-05-10 10:00:40 +00:00

2074e75ee4 fix for new carp

hellerve pushed to master at carpentry/path 2020-05-09 20:06:28 +00:00

2d62dee4d0 docs: fix links between absolute? and relative?

hellerve pushed to master at carpentry/path 2020-05-05 12:33:50 +00:00

3eb542bdfd simplify tests

hellerve pushed to master at carpentry/path 2020-05-05 11:58:11 +00:00

5b87d0bf9a fix tests for new version of carp

hellerve pushed to master at carpentry/infix 2020-05-05 11:56:29 +00:00

9787870aa7 update for new carp

hellerve pushed tag 0.0.3 to carpentry/inline-c 2020-05-05 11:36:43 +00:00

hellerve pushed to master at carpentry/inline-c 2020-05-05 11:36:30 +00:00

4942896241 version bump

hellerve pushed to master at carpentry/inline-c 2020-05-05 11:35:35 +00:00

a263017504 update for new carp

hellerve pushed to master at degrowth/cfg 2020-04-26 16:12:55 +00:00

a13a8cfa8c core: add single space where it is due

hellerve pushed to master at carpentry/redis 2020-04-21 08:49:36 +00:00

6b464c9d91 redis: update for new carp

hellerve pushed tag 0.0.2 to carpentry/inline-c 2020-04-21 08:35:35 +00:00

hellerve pushed to master at carpentry/inline-c 2020-04-21 08:35:29 +00:00

75e98123df published new version

hellerve pushed to master at carpentry/inline-c 2020-04-21 08:34:56 +00:00

346c7190ec update to new carp

hellerve transferred repository hellerve/agda-doodles to playgrounds/agda-doodles 2020-04-04 15:47:30 +00:00

hellerve transferred repository hellerve/t to degrowth/t 2020-04-04 15:47:11 +00:00