Repositories

mvanhorn repositories

2091 supported repositories

Show repositories with indexed issues
mvanhorn/layer5JavaScript

Layer5, expect more from your infrastructure

Last commit Apr 24, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
mvanhorn/LazyGravityTypeScript

LazyGravity is a local, secure Discord Bot that lets you remotely operate Antigravity on your home PC — from your smartphone's Discord app, anywhere.

Last commit Apr 14, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
mvanhorn/lazyjiraGo

Lazygit but for Jira

Last commit Apr 3, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
mvanhorn/lazyspotifyGo

Terminal Spotify client for macOS and Linux

Last commit Apr 14, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
mvanhorn/lc-wikidata

Library Carpentry Wikidata

Last commit Apr 17, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
mvanhorn/leaflet-geomanJavaScript

🍂🗺️ The most powerful leaflet plugin for drawing and editing geometry layers

Last commit Apr 7, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
mvanhorn/leafwikiGo

LeafWiki - Self-hosted wiki. Single Go binary, SQLite, Markdown on disk. No external database required.

Last commit Jun 25, 2026

 (2 stars) (0 forks) (0 indexed issues) (0 open good first issues)
mvanhorn/lean-ctxRust

LeanCTX — the Context OS for AI development. One local binary that compresses, remembers, routes, and verifies every token between your code and the model. 63 MCP tools, 10 read modes, up to 99% token savings. Works with Cursor, Claude Code, Copilot, Windsurf, Codex, Gemini.

Last commit Jun 4, 2026

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
mvanhorn/LeanKGRust

LeanKG: Stop Burning Tokens. Start Coding Lean.

Last commit Jul 16, 2026

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
mvanhorn/LeanTypeKotlin

LeanType is an Open-source, AI-enhanced keyboard fork of HeliBoard with customizable AI providers and dedicated AI keys.

Last commit Jun 23, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
mvanhorn/learnhouseTypeScript

The Next-gen Open Source learning platform for everyone ✨

Last commit Mar 22, 2026

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
mvanhorn/ledger-liveTypeScript

Mono-repository for packages related to Ledger Wallet and its JavaScript ecosystem.

Last commit Jul 13, 2026

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
mvanhorn/lemmyRust

🐀 A decentralised discussion platform for communities.

Last commit Jul 14, 2026

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
mvanhorn/leoRust

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Last commit Jun 4, 2026

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
mvanhorn/leptos-solanaRust

Last commit Apr 22, 2026

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
mvanhorn/lernzaTypeScript

Learn-to-earn platform on Stellar. Create quests, complete milestones, earn tokens.

Last commit Apr 20, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
mvanhorn/lianaRust

The missing safety net for your coins

Last commit Jul 28, 2026

 (2 stars) (0 forks) (0 indexed issues) (0 open good first issues)
mvanhorn/LibreCutsKotlin

LibreCuts is a free, open-source video editor for Android that prioritizes simplicity and efficiency.

Last commit Jul 26, 2026

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
mvanhorn/LibreQuakeQuakeC

A free and open source Quake remake with art under the BSD license

Last commit Jun 30, 2026

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
mvanhorn/LibreTubeKotlin

An alternative frontend for YouTube, for Android.

Last commit Aug 20, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)