zekro
0 Followers · 0 Following
Joined on 2024-10-18
Repositories
5
 Projects Packages Public Activity Starred Repositories
zekro pushed to main at zekro/learn-haskell 2026-10-19 22:09:00 +02:00
1f643bd58c add lesson command
zekro pushed to main at zekro/learn-haskell 2026-10-19 21:55:24 +02:00
2f620a2fe7 init
zekro created branch main in zekro/learn-haskell 2026-10-19 21:55:24 +02:00
zekro created repository zekro/learn-haskell 2026-10-19 21:53:53 +02:00
zekro pushed to main at zekro/type-level-demo 2026-07-27 11:32:19 +02:00
b86c9d915e add more documentation
zekro pushed to main at zekro/type-level-demo 2026-07-27 09:23:19 +02:00
dcef2470cb add documentation
zekro pushed to main at zekro/type-level-demo 2026-07-26 23:53:05 +02:00
ba799bd47b Merge branch 'main' of git.zekro.de:zekro/type-level-demo
45fbc088ba add documentation
Compare 2 commits »
zekro pushed to main at zekro/type-level-demo 2026-07-20 09:58:56 +02:00
88661ec960 update readme
1d9a7fa4fe add typestate typescript example
Compare 2 commits »
zekro pushed to main at zekro/type-level-demo 2026-07-17 11:30:14 +02:00
e42d897d41 update examples and add documentation
zekro pushed to main at zekro/type-level-demo 2026-07-17 10:52:46 +02:00
9e4e019660 add more typescript examples
2bc148342d Dwip
Compare 2 commits »
zekro pushed to main at zekro/type-level-demo 2026-07-16 12:28:51 +02:00
c367d3f3ca fixes
zekro pushed to main at zekro/type-level-demo 2026-07-16 10:59:43 +02:00
3d8aa85358 add go examples
zekro pushed to main at zekro/type-level-demo 2026-07-16 10:57:52 +02:00
e81e018785 add go examples
zekro pushed to main at zekro/type-level-demo 2026-07-15 23:17:41 +02:00
6eef7e38a7 add license
zekro pushed to main at zekro/type-level-demo 2026-07-15 23:15:11 +02:00
71fa2cc44c add typescript type mapping
zekro pushed to main at zekro/type-level-demo 2026-07-15 22:30:14 +02:00
0dc3a6c0f6 init
zekro created branch main in zekro/type-level-demo 2026-07-15 22:30:14 +02:00
zekro created repository zekro/type-level-demo 2026-07-15 22:28:31 +02:00
zekro pushed to main at zekro/snippets 2026-05-15 12:58:12 +02:00
544363d077 add label extract script
8be1e4ee93 update elden ring startup script
Compare 2 commits »
zekro pushed to main at zekro/snippets 2026-03-01 15:20:54 +01:00
1472f3538b add startup command line params for obs
39963666b8 add evolution start script
Compare 2 commits »