Repositories
65
 Projects Packages Code
Filter
Sort
papra-hq.papra
TypeScript 0 0
The minimalistic document archiving platform.
app archive document documents self-hosted
Updated 2026-09-01 20:20:35 +00:00
leanprover-community.lean4game
TypeScript 0 0
Server to host lean games.
lean4 react
Updated 2026-09-01 07:22:36 +00:00
spliit-app.spliit
TypeScript 0 0
Free and Open Source Alternative to Splitwise. Share expenses with your friends and family.
nextjs react shadcn-ui splitwise tailwindcss template tricount vercel
Updated 2026-08-31 11:50:55 +00:00
BookCatKid.TablissNG
TypeScript 0 0
My version of Tabliss that I will be maintaining in the future. A beautiful, customisable New Tab page for Firefox, Chrome, and Edge.
Updated 2026-08-31 04:33:18 +00:00
leanprover-community.lean4web
TypeScript 0 0
Lean web editor
lean4
Updated 2026-08-30 12:53:27 +00:00