Nina Chloe Kassandra Reiss nichkara
0 Followers · 0 Following
  • Frankfurt (Main,Oder) and Wiesbaden, Germany
  • https://nichkara.eu/lua/transition

  • Hello, I am a hardware developer with interest in research, ASIC development and verification of programs and circuits.

  • Joined on 2025-02-02
Repositories
14
 Projects Packages Public Activity Starred Repositories
nichkara pushed to main at nichkara/nvim 2026-06-18 20:36:40 +02:00
4d1d8e3fe7 Move configuration to core
nichkara pushed to main at system/home-manager 2026-06-18 20:24:36 +02:00
bb5a8555ae Move neovim config to default location for 'core' update
nichkara pushed to main at system/home-manager 2026-06-18 12:24:18 +02:00
65b352de4f Make neovim menu look nicer
nichkara pushed to main at nichkara/nvim 2026-06-18 12:20:27 +02:00
5f052bf9ae Make menu look nicer
5df773756e Purge TabNine
Compare 2 commits »
nichkara pushed to main at system/home-manager 2026-06-16 20:55:29 +02:00
24cb271df4 Add cinny-desktop
nichkara pushed to main at dotfiles/nixos 2026-06-16 18:54:47 +02:00
359d44b72b Remove printer drivers because fuck printers
nichkara pushed to main at dotfiles/nixos 2026-06-16 18:52:13 +02:00
800560e7fd Remove unused theme regreet elements
2a827720b1 Adjust XP wallpaper
Compare 2 commits »
nichkara pushed to main at dotfiles/nixos 2026-06-16 18:33:40 +02:00
fe911a6097 Update greeter
nichkara pushed to main at nichkara/grl 2026-06-15 05:38:55 +02:00
64cfecef9a Add distance calculation based on haversine
nichkara pushed to main at nichkara/grl 2026-06-14 22:37:05 +02:00
4af251007f Default packages
nichkara pushed to main at nichkara/grl 2026-06-14 22:00:43 +02:00
cdf1ca655d Add gnatprove as dependency
nichkara pushed to main at nichkara/grl 2026-06-11 16:23:37 +02:00
4cb0066d0e Retry after local verification
nichkara pushed to main at nichkara/grl 2026-06-11 15:59:35 +02:00
6ad68af041 Refresh alire package index
nichkara pushed to main at nichkara/grl 2026-06-11 15:55:48 +02:00
5f4923a127 Install gnatprove systemwide
32633ed60b Shipping gnatprove doesn't work
Compare 2 commits »
nichkara pushed to main at nichkara/grl 2026-06-11 15:49:48 +02:00
b2b55238ed Ship gnatprove with package
nichkara pushed to main at nichkara/grl 2026-06-11 15:45:17 +02:00
dfacf86537 Print gnatprove report in CI
nichkara pushed to main at nichkara/grl 2026-06-11 15:38:15 +02:00
2dcab4f1ea Serve alire to CI on x86_64 systems
nichkara pushed to main at nichkara/grl 2026-06-11 15:26:46 +02:00
bb939c2393 Add Conversion from DDM to DD
970aaad697 Verify in CI using gnatprove
Compare 2 commits »
nichkara pushed to main at nichkara/grl 2026-06-10 23:45:03 +02:00
9d98de374f Implement type system
nichkara pushed to main at nichkara/grl 2026-06-10 11:21:36 +02:00
56799f0c23 Add verification workflow