jingus
0 followers · 0 following

  • Software Engineer @ Praeses

    Enthusiastic about open source, NixOS, Rust, and type-system shenanigans.

    I'm a core maintainer of basalt.rs.

  • Joined on 2026-04-19
Repositories
6
 Projects Packages Public activity Starred repositories
jingus pushed to main at jingus/nixconf 2026-07-22 10:40:39 -05:00
59d0d2e37d feat: add compose
jingus pushed to main at jingus/toy-allocators 2026-06-17 02:38:41 -05:00
4e2e2cd69f fix: using typedefs
jingus pushed to main at jingus/toy-allocators 2026-06-17 02:19:35 -05:00
01f057afb9 docs: add README
jingus pushed to main at jingus/toy-allocators 2026-06-17 02:18:26 -05:00
476fd1f2c2 rename: stack -> list
jingus pushed to main at jingus/toy-allocators 2026-06-17 02:16:39 -05:00
765d519010 feat: cleaned up some smells
jingus pushed to main at jingus/toy-allocators 2026-06-17 01:10:26 -05:00
1f058f0c4e feat: working and refactored to remove dedicated linked-list in favor of just using the headers
jingus pushed to main at jingus/toy-allocators 2026-06-17 00:23:50 -05:00
8af978556a wip linkedlist
jingus pushed to main at jingus/toy-allocators 2026-06-16 01:05:25 -05:00
9622487008 feat: add gdb, add some free logic
jingus pushed to main at jingus/toy-allocators 2026-06-16 00:13:01 -05:00
134e27d38b feat: added some more tests, added some free logic
jingus pushed to main at jingus/toy-allocators 2026-06-15 22:35:09 -05:00
d6d4f2a0d9 feat: bounds check, refactor
jingus created branch main in jingus/toy-allocators 2026-06-15 21:53:55 -05:00
jingus pushed to main at jingus/toy-allocators 2026-06-15 21:53:55 -05:00
c86df50063 feat: basic bump
jingus created repository jingus/toy-allocators 2026-06-15 21:52:57 -05:00
jingus pushed to main at jingus/nixconf 2026-06-01 21:22:20 -05:00
6ce1b224e8 mpv and controller in gaming
jingus pushed to main at jingus/nixconf 2026-06-01 01:00:24 -05:00
0af52cfb3a add usbutils to desktop
jingus pushed to main at jingus/nixconf 2026-05-31 02:51:33 -05:00
3f90a28221 bump desktop, remove gnome, add kde, remove niri from desktop
jingus pushed to main at jingus/lamb 2026-05-17 00:30:33 -05:00
7406739fcf update README
54d147b954 update readme
3046beaef2 replacing known values in output now (pretty sick)
Compare 3 commits »
jingus pushed to main at jingus/lamb 2026-05-16 18:10:46 -05:00
9d209fee17 update readme, add tests for run
jingus pushed to main at jingus/lamb 2026-05-16 17:54:12 -05:00
d916288565 add test expr and update gitignore
jingus pushed to main at jingus/lamb 2026-05-16 17:49:17 -05:00
dde7cfc7a4 add (custom) de bruijn-y conversion and alpha equivalence check