vc
Here are 134 public repositories matching this topic...
The Mid-term 'Compiler' project by Duc Tran Van, Duy Duong Duc, Anh Le Tuan. Lexical Scanner for VC (Variant of C) Language
-
Updated
Mar 17, 2023 - Python
Verification Condition Generator for a Simple Imperative Language and a Guarded Command Language
-
Updated
Nov 17, 2019 - C++
Selective Disclosure Data Integrity Proofs with JOSE
-
Updated
Jun 4, 2023 - TypeScript
💻 (2022) (Download) Compatible with Windows, MacOS & Linux. www.npmjs.com/package/github-to-bitbucket-backup-repo-updater
-
Updated
Aug 30, 2023 - JavaScript
A monorepo of W3C decentralized identifier (DID) and verifiable credentials (VC) tools for Klayr sidechain
-
Updated
May 23, 2024 - TypeScript
VC - Verse Calculus - notes & learnings from: The Verse Calculus: a Core Calculus for Functional Logic Programming (official paper by Epic Games)
-
Updated
Mar 21, 2023
header-only C++ template library to process n-dimensional arrays with multithreaded SIMD code
-
Updated
May 26, 2024 - C++
-
Updated
Dec 17, 2021 - Python
💻 (29-Aug-2023) (Download) Compatible with Windows, MacOS & Linux. www.packagist.org/packages/kkamara/ghbbupdater
-
Updated
Mar 10, 2024 - PHP
Docker image for the excellent SSI toolkit didkit
-
Updated
May 31, 2024 - Just
Improve this page
Add a description, image, and links to the vc topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the vc topic, visit your repo's landing page and select "manage topics."