CLVM
by malthelange
CL interpreter written in ConCert
AI summary
Contract interpreter
An interpreter for a financial contract DSL translated to a stack-based language using ConCert and Coq
- stars
- 1
- forks
- 1
- watching
- 4
Similar projects
Found by comparing what the projects do, not just their names.
Contract DSL
A domain-specific language for specifying Algorand smart contracts in a declarative style
Programming interpreter
An open-source interpreter for a cross-platform programming language designed to make programming easier
SQL interpreter
A Common Lisp library for embedding and executing SQL statements
Contract dev tool
Extensions to Visual Studio for C# development of Algorand smart contracts and TEAL compilation
ccxvii/mujs818
Interpreter
An embeddable JavaScript interpreter written in C
Lisp interpreter
An implementation of a modern Lisp family programming language
Lisp interpreter
An interpreter for Bel, a Lisp-like language with a focus on completeness and metacircular foundations.
Lisp interpreter
A Haskell-based interpreted Lisp language with features like lexical closures and continuations, designed to be easily embedded in other programs.
Lisp interpreter
An interpreter written in Malbolge that supports Lisp-like programming with advanced features and instructions.
Code processor
A tool for processing Coq and Lean 4 code embedded in text documents
Contract runtime
A Go library wrapper around the CosmWasm VM for compiling and executing smart contracts.
Language Interpreter
An interpreter of Wolfram Language implemented in Haskell to deepen understanding of the language and its ecosystem
Language Interpreter
An interpreter and VM implementation for a lightweight programming language with basic data types and control structures.
Contract library
A Common Lisp package that enables contract programming and specifies the relationship between a class and its clients through preconditions and postconditions.
Formal semantics tools
Development of formal semantics and verification tools for imperative languages and functional programming languages.
