#
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 4, 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++
Improve this page
Add a description, image, and links to the marv topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the marv topic, visit your repo's landing page and select "manage topics."