Repositories
65
 Projects Packages Code
Filter
Sort
leanprover-community.lean4game
TypeScript 0 0
Server to host lean games.
lean4 react
Updated 2026-09-01 07:22:36 +00:00
agarrharr.awesome-cli-apps
Shell 0 0
🖥 📊 🕹 🛠 A curated list of command line apps
awesome awesome-list cli cli-app list
Updated 2026-09-01 07:00:00 +00:00
ouch-org.ouch
Rust 1 0
Painless compression and decompression in the terminal
cli compression decompression hacktoberfest rust
Updated 2026-08-31 23:43:23 +00:00
WinterSnowfall.d7vk
C++ 0 0
Vulkan-based implementation of D3D7, 6 and 5 for Linux / Wine, spun off from DXVK.
Updated 2026-08-31 18:12:23 +00:00
gildas-lormeau.SingleFile
JavaScript 0 0
Web Extension for saving a faithful copy of a complete web page in a single HTML file
annotations archive archiver auto-save browser chrome chrome-extension cli firefox firefox-addon javascript offline-reading osint puppeteer screenshot selenium self-extracting self-extracting-zip snapshot web-clipper
Updated 2026-08-31 17:22:35 +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
BGforgeNet.Fallout2_Restoration_Project
OMNeT++ MSG 0 0
Fallout 2 Restoration Project, updated
fallout fallout2
Updated 2026-08-31 09:29:53 +00:00
litestar-org.litestar
Python 0 0
Light, flexible and extensible ASGI framework | Built to scale
api asgi asyncio litestar litestar-api litestar-framework msgspec openapi pydantic python rapidoc redoc rest starlite swagger
Updated 2026-08-31 09:29:11 +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
kanidm.kanidm
Rust 0 0
Kanidm: A simple, secure, and fast identity management platform
authentication iam identity identity-management idm ldap oidc radius rust scim security ssh-authentication webauthn
Updated 2026-08-31 02:41:12 +00:00
atomicdotdev.atomic
Rust 0 0
A mathematically sound version control system based on patch theory
Updated 2026-08-30 23:34:30 +00:00
yacy.yacy_search_server
Java 0 0
Distributed Peer-to-Peer Web Search Engine and Intranet Search Appliance
decentralized intranet-search intranet-search-engine p2p p2p-network privacy privacy-protection search-engine searchengine web websearch web-search-engine webseearch-engine
Updated 2026-08-30 12:55:29 +00:00
leanprover-community.lean4web
TypeScript 0 0
Lean web editor
lean4
Updated 2026-08-30 12:53:27 +00:00
dhowe.AdNauseam
JavaScript 0 0
AdNauseam: Fight back against advertising surveillance
adversarial-examples browser-extension critical-design privacy privacy-enhancing-technologies surveillance
Updated 2026-08-30 07:39:43 +00:00
LMMS.lmms
C++ 0 0
Cross-platform music production software
daw hacktoberfest midi music songs
Updated 2026-08-30 03:45:12 +00:00