kacper
0 Followers · 0 Following
  • Joined on 2025-03-16
Repositories
4
 Projects Packages Public Activity Starred Repositories
kacper pushed to main at kacper/configs 2025-10-20 15:53:51 +00:00
c9c06add00 asd
kacper pushed to main at kacper/configs 2025-10-20 15:52:26 +00:00
e09264ff96 asd
kacper pushed to main at kacper/configs 2025-10-20 15:51:23 +00:00
759d1aa322 asd
kacper pushed to main at kacper/configs 2025-10-20 15:45:31 +00:00
ebb598e2d1 asd
kacper pushed to main at kacper/configs 2025-10-20 14:55:59 +00:00
edbb40e97f asd
kacper pushed to main at kacper/configs 2025-10-20 14:52:28 +00:00
e8e5dc1427 asd
9f3a797e0d asd
60b2622659 safety commit
Compare 3 commits »
kacper pushed to main at kacper/configs 2025-10-19 17:08:12 +00:00
de7a95c890 update
kacper pushed to main at kacper/configs 2025-10-14 16:18:12 +00:00
817d3269d6 reorg nvim
kacper pushed to asdasdasdasd at kacper/elipl 2025-07-14 23:14:36 +00:00
dc34827847 deps
9a89757bcd fix test
9c6b3998c2 fixed one test 3 to go
b5a731edad one less test failing
2854c4559c added more FAILING tests
Compare 10 commits »
kacper created branch asdasdasdasd in kacper/elipl 2025-07-14 23:14:35 +00:00
kacper pushed to ref1 at kacper/elipl 2025-06-23 23:06:51 +00:00
324735710b checkpoint sleep
439747daf0 dirty hack fix
552ef6ce3b checkpoint better rec types
07d92aed97 cleanup
6c243439a9 trace
Compare 11 commits »
kacper pushed to ref1 at kacper/elipl 2025-06-19 16:42:45 +00:00
f1243084c7 checkpoint docs
kacper pushed to ref1 at kacper/elipl 2025-06-19 11:17:22 +00:00
cb8dddc326 chat
kacper created branch refactor in kacper/elipl 2025-06-19 00:36:11 +00:00
kacper pushed to refactor at kacper/elipl 2025-06-19 00:36:11 +00:00
7d02481d9f checkpoint
kacper created branch single_file in kacper/elipl 2025-06-19 00:36:05 +00:00
kacper pushed to single_file at kacper/elipl 2025-06-19 00:36:05 +00:00
0a2abe01d8 firing squad
kacper pushed to ref1 at kacper/elipl 2025-06-19 00:35:48 +00:00
646afaad64 fixpoint discussion
658332ace1 some progress with recursive checks
bcddae26cb checkpoint before next attempt at recursive types - noice debugging here
ff557cb221 checkpoint
176a4c6a04 maybe?? revert if not recursive works
Compare 5 commits »
kacper pushed to ref1 at kacper/elipl 2025-06-18 14:13:42 +00:00
7fa469518d consistency fixed
5736c30fa2 fix consistency checker
36f63ed355 checkpoint before fixing consistency tests
Compare 3 commits »
kacper created branch ref1 in kacper/elipl 2025-06-18 13:44:57 +00:00