#
marv
Here are 5 public repositories matching this topic...
Repo for my discord bot "Marv"
-
Updated
Dec 8, 2022 - JavaScript
A compiled language whose author is a coding agent and whose auditor is a human: explicit effects & capabilities, inferred error sets, content-addressed reuse, and layered verification (runtime contracts + SMT). Built as an agent-driven query service.
language programming-language rust compiler webassembly language-design type-system content-addressed smt formal-verification marv ai-agents salsa cranelift llm agentic capability-based-security
-
Updated
Aug 9, 2026 - Rust
A wrapper of the sparkfun Arduino library which allows you to communicate seamlessly with u-blox GNSS modules using USB on windows and linux platforms.
-
Updated
Jun 30, 2026 - C++
Add this topic to your repo
To associate your repository with the marv topic, visit your repo's landing page and select "manage topics."