0xlillith / solidcraft-rover
Scientific rover built through SolidCraft MCP: editable CAD, website and splash artwork, videos, and a reproducible performance workload.
0xlillith / solidcraft-rover
ArduPilot / ardupilot
ArduPlane, ArduCopter, ArduRover, ArduSub source
caprover / caprover
Scalable PaaS (automated Docker+nginx) - aka Heroku on Steroids
Z3Prover / z3
The Z3 Theorem Prover
leanprover / lean4
Lean 4 programming language and theorem prover
rocq-prover / rocq
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
leanprover-community / mathlib4
The math library of Lean 4
koderover / zadig
Zadig: An AI-powered, cloud-native, distributed DevOps platform designed for developers
RoversX / LaunchNext
Bring your Launchpad back in MacOS26+ ,highly customizable, powerful, free.
apollographql / apollo-tooling
✏️ Apollo CLI for client tooling (Mostly replaced by Rover)
agda / agda
Agda is a dependently typed programming language / interactive theorem prover.
AnswerOverflow / AnswerOverflow
Powering Discord content discovery by making web pages from threads for some of the largest servers, including Valorant, Cloudflare, C#, and Nuxt.
severity1 / claude-code-prompt-improver
Intelligent prompt improver hook for Claude Code. Type vibes, ship precision.
intelligent-machine-learning / dlrover
DLRover: An Automatic Distributed Deep Learning System
cvc5 / cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
ed0ard / CS2-Bot-Improver
CS2-Bot-Improver is a plugin for Counter-Strike 2 that improves bots' aim, movement, nade throwing, personalities, strategies, etc. Aims to enhance your experience when playing against bots offline or with friends. It can be installed on both clients and servers.
rzeldent / esp32cam-rtsp
Simple RTSP (streaming image) server for the ESP32CAM. Easy configuration and monitoring through the web interface.
hrithikkoduri / WebRover
WebRover is an autonomous AI agent designed to interpret user input and execute actions by interacting with web elements to accomplish tasks or answer questions. It leverages advanced language models and web automation tools to navigate the web, gather information, and provide structured responses based on the user's needs.
leanprover-community / physlib
A project to digitalise results from physics into Lean.
leanprover / cslib
The Lean Computer Science Library (CSLib)
HOL-Theorem-Prover / HOL
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
math-comp / math-comp
Mathematical Components
leanprover / elan
The Lean version manager
caprover / one-click-apps
Community Maintained One Click Apps (https://github.com/caprover/caprover)
leanprover-community / mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
Julian / lean.nvim
Neovim support for the Lean theorem prover
stp / stp
Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.
leanprover-community / lean4game
Server to host Lean games
jrh13 / hol-light
The HOL Light theorem prover
tamarin-prover / tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
mikroverk / esp32sim
Open-source ESP32 emulator. Run real firmware locally or in your browser — no hardware, no cloud, no subscription.
nasa-jpl / osr-rover-code
Code that runs on the Open Source Rover
oOo0oOo / lean-lsp-mcp
Lean Theorem Prover MCP
starkware-libs / stwo
StarkWare's next gen prover
AienTech / dossier
A self-hosted job search app that writes tailored resumes and cover letters from your profile.
RoversX / ThinkTerm
A modern terminal with a built-in multiplexer: close it and your sessions keep running. Run shells and tons of AI agents across your machines, then pick them up from desktop, browser, TUI and more. Written in Rust with no UI framework: interface drawn straight on the GPU. No Electron, GPUI or webview.
leanprover / con-leche
An external lean checker with a proof of consistency
winchxyz / moon-rover
A 3D lunar rover survey game. WebGL2, no build step, no third-party assets - every texture and sound generated at runtime.
metrox-eth / moss
MOSS: a small, mostly 3D-printed litter-picking rover. Cleaner streets, one maker at a time.
introvertwold-hub / brutal-focus-timer
Best Brutal Focus Timer App 2026: NoMoreBS Productivity Tool
UnderwaterOverground / tailscale-nx
Tailscale for the Nintendo Switch: an Atmosphère sysmodule that puts homebrew (like Moonlight) on your tailnet
Anshgrover23 / vouch
Roommate receipt splits. Interfaze reads the paper. Housemates tap what they owe.
leanprover / con-ron
A rust port of con-leche
RizkLee / MetroVerse
A lightweight and elegant Android client unifying YouTube Music + open RSS podcasts. Features a dynamic Material 3 Expressive UI. An enhanced fork of Metrolist.
sadisampson / JetBrains-RustRover-License-2026
JetBrains RustRover full license activation guide - unlock all features, plugins, AI Assistant, Cargo tooling and remote development, no trial limits