verifast/verifast 523
bibanon/tubeup 521
tubeup turns a yt-dlp URL into an Internet Archive item
warthog618/go-gpiocdev 521
go-gpiocdev talks to the Linux GPIO character device without libgpiod
awslabs/amazon-dynamodb-lock-client 521
amazon-dynamodb-lock-client: distributed locks and leader election on DynamoDB
aree6/LiftShift 522 +1 today
LiftShift: workout analytics that run entirely in your browser
jseidl/magic-areas 523
Magic Areas makes Home Assistant rooms know whether anyone is in them
GaloisInc/saw-script 522
SAW turns a formal specification into a proof obligation your compiler cannot check
pliron-org/pliron 522 +1 today
pliron: an extensible compiler IR framework in Rust, built to avoid C++
jackhumbert/let_there_be_flight 521
Let There Be Flight adds a flying mode to every car in Cyberpunk 2077
SXP-Simon/astrbot_plugin_qq_group_daily_analysis 525 +1 today
astrbot_plugin_qq_group_daily_analysis turns a chat log into a daily report
PoshCode/ModuleBuilder 524
ModuleBuilder: splitting a PowerShell module into many files and shipping one
OpenEmu-Silicon/OpenEmu-Silicon 530 +2 today
OpenEmu-Silicon runs the classic Mac emulator natively on Apple Silicon
tsaridas/stremio-docker 524
stremio-docker: a small Alpine image that puts the Stremio server and web player on one port
jellydn/next-swagger-doc 520
next-swagger-doc: generating an OpenAPI spec from your Next.js API routes
snoopysecurity/dvws-node 522
dvws-node is a deliberately breakable Node API to practise on
ccallcn/ovsyunlive 522
ovsyunlive is a Windows and Linux media gateway that puts RTSP and RTMP into a browser
ocaml-ppx/ppx_deriving 522
ppx_deriving still generates your show and eq, and the ppx ecosystem has moved on
mapillary/mapillary-js 522