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
5
 Projects Packages Public activity Starred repositories
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
jingus pushed to main at jingus/lamb 2026-05-16 16:39:02 -05:00
99a18df155 beta reduction working
jingus pushed to main at jingus/lamb 2026-05-15 21:58:35 -05:00
0d6a2ac2e4 wip beta reduction
jingus pushed to main at jingus/lamb 2026-05-15 19:00:42 -05:00
fee6a0e4a3 basic substitution implemented
jingus pushed to main at jingus/lamb 2026-05-15 02:03:03 -05:00
f64bf8be2b parsing, update readme
jingus pushed to main at jingus/lamb 2026-05-15 01:02:44 -05:00
098cf0832a update README
jingus pushed to main at jingus/lamb 2026-05-15 00:57:21 -05:00
7df5b0eeac WIP parsec
jingus pushed to main at jingus/lamb 2026-05-14 23:04:59 -05:00
632b2c4a6a remove direnv bruh
3e3d5b608b remove dist-newstyle
Compare 2 commits »
jingus created branch main in jingus/lamb 2026-05-14 23:01:02 -05:00
jingus pushed to main at jingus/lamb 2026-05-14 23:01:02 -05:00
7008596f4c init
jingus created repository jingus/lamb 2026-05-14 23:00:47 -05:00
jingus pushed to main at jingus/othello 2026-05-05 01:30:45 -05:00
63f18f3d9a fix and utilize transpposition tables, we skip many moves but I think we've probably slowed down in some ways too
jingus pushed to main at jingus/nixconf 2026-05-04 21:35:13 -05:00
044c66152c move virt-manager virtualization explicitly to the desktop out of dev, add gelly and keepass to laptop
jingus pushed to main at jingus/nixconf 2026-05-03 00:55:00 -05:00
5da917aa9b helium integration + gelly