vc
Here are 133 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
The Final 'Compiler' project by Duc Tran Van, Duy Duong Duc, Anh Le Tuan. Parser for VC (Variant of C) Language using LL(1)
-
Updated
May 14, 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
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
A monorepo of W3C decentralized identifier (DID) and verifiable credentials (VC) tools for Lisk sidechain
-
Updated
Dec 13, 2023 - TypeScript
header-only C++ template library to process n-dimensional arrays with multithreaded SIMD code
-
Updated
Apr 19, 2024 - C++
-
Updated
Dec 17, 2021 - Python
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."