cove

There are 0 repository under cove topic.

IBM / ACE-RISCV
Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a formally verified and auditable firmware.
confidential-computing riscv security trusted-computing trusted-execution-environment virtualization coq formal-verification rust-lang refinedrust cove rocq
Language:Rust 192
bitcoinppl / cove
Cove - The simple bitcoin wallet
bitcoin bitcoin-wallet coldcard cove hardware-wallet psbt
Language:Kotlin 86
egeuysall / cove
Share the good stuff, with your people.
backend cove frontend full-stack golang nextjs saas
Language:TypeScript 3
catnlp / CatNER
探究中间向量对NER的影响
ner cove nlp
Language:Python 2
guerilla7 / nemo-veritas
This open-source Python application demonstrates an interactive way to apply various NVIDIA NeMo Guardrails to an LLM. It features a custom implementation of the Chain-of-Verification (CoVe) technique.
agentic-ai agentic-workflow agents chain-of-verification cove large-language-models llm-frameworks nemo nvidia-nemo-guardrails security-audit security-tools
Language:Python 1

IBM / ACE-RISCV