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/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
jingus pushed to main at jingus/brainf-hs 2026-05-02 21:43:16 -05:00
ab2f2c6045 brainf
jingus created branch main in jingus/brainf-hs 2026-05-02 21:43:15 -05:00
jingus created repository jingus/brainf-hs 2026-05-02 21:40:05 -05:00
jingus pushed to main at jingus/nixconf 2026-05-02 12:36:06 -05:00
816da86e7e add virt
jingus pushed to main at jingus/nixconf 2026-05-02 12:34:07 -05:00
8a501b6d04 add tailscale (and helium?)
jingus pushed to main at jingus/nixconf 2026-04-29 00:24:44 -05:00
92b6ce1644 add helium
jingus created branch main in jingus/jackal 2026-04-19 04:04:06 -05:00