jedisct1/swift-sodium 556
jrh13/hol-light 561
HOL Light: an interactive theorem prover in OCaml
nestjs/passport 561
@nestjs/passport: wiring Passport into a Nest application
kawalcovid19/wargabantuwarga.com 559
wargabantuwarga.com republishes Google Docs as a fast COVID-19 information site
JonasBernard/FakeStandby 560
FakeStandby blacks out the screen with an overlay and calls it a power saving
Jim-Kroovy/mr_mannequins_tools 555
Mr Mannequins Tools: a Blender add-on built around Unreal's Manny and Quinn
fabiensanglard/gebbwolf3 557
gebbwolf3 and the TeX source behind the Game Engine Black Book
jeecgboot/autopoi 553
AutoPOI wraps Apache POI so an Excel export is one call and an annotation
karansinghgit/speaktype 558
SpeakType: push-to-talk dictation that never leaves your computer
john-friedman/datamule-python 557
datamule: a Python package for pulling SEC filings at scale
jjohannes/idiomatic-gradle 559
idiomatic-gradle shows what a large Gradle build is supposed to look like
KangLin/RabbitIm 553
RabbitIm: a cross-platform XMPP client with a plugin system
kakaroto/Beyond20 554
Beyond20 copies a D&D Beyond character sheet into your Roll20 tab
jiggzson/nerdamer 561
Nerdamer 2.0: a TypeScript rewrite of the JavaScript symbolic math library
henriklovhaug/md-tui 555
md-tui is a keyboard driven Markdown reader for the terminal, built on ratatui
cybersecsi/RAUDI 562