kacper
0 Followers · 0 Following
  • Joined on 2025-03-16
Repositories
4
 Projects Packages Public Activity Starred Repositories
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
kacper pushed to ref1 at kacper/elipl 2025-06-18 13:44:57 +00:00
130d369734 checkpoint
a5e5127bcd reconstructor & normalization
9f6cd2814a checkpoint
0880bb338f checkpoint new implementation
967eb93aa8 checkpoint
Compare 6 commits »
kacper pushed to main at kacper/elipl 2025-06-17 08:31:22 +00:00
5bf920da3a checkpoint
72d851d71b checkpoint
fde8d2aedd checkpoint
dba5f720a6 checkpoint but its fucked
1ede4de72c checkpoioint before refactor
Compare 8 commits »
kacper pushed to main at kacper/elipl 2025-06-15 23:08:07 +00:00
de167ff5f3 cleanup
dddefdb7ac checkpoint - int working?
2ea586c4ad checkpoint
bc77e1f86b checkpoint integers
385ec666aa document
Compare 13 commits »
kacper pushed to main at kacper/elipl 2025-06-13 21:48:44 +00:00
748f87636a checkpoint
kacper created branch main in kacper/elipl 2025-05-29 17:22:21 +00:00
kacper pushed to main at kacper/elipl 2025-05-29 17:22:21 +00:00
971af134c4 checkpoint
4f13a98189 asd
kacper created repository kacper/elipl 2025-05-29 17:21:05 +00:00
kacper pushed to main at kacper/tasks 2025-04-11 16:13:51 +00:00
0de10053c0 Update tasks.json - 2025-04-11T16:13:48.073Z
kacper pushed to main at kacper/configs 2025-04-09 19:32:14 +00:00
b737ef5953 nvim: default theme kanagawa-lotus
kacper pushed to main at kacper/tasks 2025-04-09 19:30:15 +00:00
e127576ef5 Update tasks.json - 2025-04-09T19:30:10.676Z
kacper pushed to main at kacper/configs 2025-04-09 09:04:24 +00:00
a9effe416a nvim: ai reorg
kacper pushed to main at kacper/configs 2025-04-06 12:07:25 +00:00
e5a33add13 WIP added minuet.ai + lazylock bump
895afd2d89 mapped localleader = ,
Compare 2 commits »
kacper pushed to main at kacper/tasks 2025-04-06 12:03:31 +00:00
b7421e7c46 Update tasks.json - 2025-04-06T12:03:24.902Z
kacper pushed to main at kacper/tasks 2025-03-30 22:21:25 +00:00
41a0a7ca19 Update tasks.json - 2025-03-30T22:21:22.118Z
kacper pushed to main at kacper/configs 2025-03-28 18:39:07 +00:00
065f88d488 enable autosuggestions copilot
kacper pushed to main at kacper/tasks 2025-03-28 18:38:39 +00:00
6f289c69cd Update tasks.json - 2025-03-28T18:38:36.807Z