CLVM
Contract interpreter
An interpreter for a financial contract DSL translated to a stack-based language using ConCert and Coq
CL interpreter written in ConCert
1 stars
4 watching
1 forks
Language: Coq
last commit: over 6 years agoRelated projects:
| Repository | Description | Stars |
|---|---|---|
 petitnau/algoml | A domain-specific language for specifying Algorand smart contracts in a declarative style | 24 |
 covscript/covscript | An open-source interpreter for a cross-platform programming language designed to make programming easier | 227 |
 ruricolist/cl-yesql | A Common Lisp library for embedding and executing SQL statements | 68 |
 frankszendzielarz/algorandvisualstudio | Extensions to Visual Studio for C# development of Algorand smart contracts and TEAL compilation | 21 |
 ccxvii/mujs | An embeddable JavaScript interpreter written in C | 818 |
 mthom/shentong | An implementation of a modern Lisp family programming language | 163 |
 masak/bel | An interpreter for Bel, a Lisp-like language with a focus on completeness and metacircular foundations. | 27 |
 cofinalsubnets/wisp | A Haskell-based interpreted Lisp language with features like lexical closures and continuations, designed to be easily embedded in other programs. | 115 |
 kspalaiologos/malbolge-lisp | An interpreter written in Malbolge that supports Lisp-like programming with advanced features and instructions. | 493 |
 cpitclaudel/alectryon | A tool for processing Coq and Lean 4 code embedded in text documents | 237 |
 cosmwasm/wasmvm | A Go library wrapper around the CosmWasm VM for compiling and executing smart contracts. | 179 |
 jyh1/mmaclone | An interpreter of Wolfram Language implemented in Haskell to deepen understanding of the language and its ecosystem | 242 |
 ser1zw/mil | An interpreter and VM implementation for a lightweight programming language with basic data types and control structures. | 2 |
 sellout/quid-pro-quo | A Common Lisp package that enables contract programming and specifies the relationship between a class and its clients through preconditions and postconditions. | 95 |
 xavierleroy/cdf-mech-sem | Development of formal semantics and verification tools for imperative languages and functional programming languages. | 64 |