virgil-serbanuta

@Pi-Squared-Inc

Pinned Repositories

bin
Language:Python0 2 00
btm
JTA Transaction Manager
Language:Java00
c-semantics
Semantics of C in K
Language:C00
design-and-chance
Language:TeX11
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
Language:Makefile00
hindent
Haskell pretty printer
Language:Haskell00
iele-semantics
Semantics of Virtual Machine for IELE prototype blockchain
Language:OCaml00
k
Language:Java00
k-induction
Induction proofs with K
Language:Python0 1 00
K-VSCode
K language support for Visual Studio Code
00

virgil-serbanuta's Repositories

virgil-serbanuta/kale
kale backend
Language:Scala22
virgil-serbanuta/rv-install
Unified installer for all Runtime Verification Inc. products
Language:Java21
virgil-serbanuta/design-and-chance
Language:TeX11
virgil-serbanuta/bin
Language:Python0 2 00
virgil-serbanuta/btm
JTA Transaction Manager
Language:Java00
virgil-serbanuta/c-semantics
Semantics of C in K
Language:C00
virgil-serbanuta/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
Language:Makefile00
virgil-serbanuta/hindent
Haskell pretty printer
Language:Haskell00
virgil-serbanuta/iele-semantics
Semantics of Virtual Machine for IELE prototype blockchain
Language:OCaml00
virgil-serbanuta/k
Language:Java00
virgil-serbanuta/k-induction
Induction proofs with K
Language:Python0 1 00
virgil-serbanuta/K-VSCode
K language support for Visual Studio Code
00
virgil-serbanuta/kdebug
Language:Python
virgil-serbanuta/kore
Language:Haskell
virgil-serbanuta/P
The P programming language.
virgil-serbanuta/verified-smart-contracts
Smart contracts which are formally verified
Language:Solidity
virgil-serbanuta/wasm-semantics
A Prototype Formal Semantics of WebAssembly in K
Language:WebAssembly