mahmoudimus
Follow
⚙ compilers
How to write a very simple JIT compiler
A copy of the verifiable computation projects from Microsoft Research, Pinnochio and Gepetto
A minimalist high level language for writing cross-platform native code
The project help developer create or modify class at runtime simply. it's base on ASM framework and provide a high level API like java struct
The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated by the Whiley Compiler. WyTP operates over a variant of first…
SquirrelJME is a Java ME 8 Virtual Machine for embedded and Internet of Things devices. It has the ultimate goal of being 99.9% compatible with the Java ME standard.
The VerCors verification toolset for verifying parallel and concurrent software
Provides a lightweight interpreter and factory for dynamically creating C++ objects at runtime.
graph based intermediate representation and backend for optimising compilers
Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + gno.land: a blockchain for timeless code and fair open-source.
Sacalon is a general purpose and open source programming language designed to build optimal, maintainable, reliable and efficient software.
Dictu is a high-level dynamically typed, multi-paradigm, interpreted programming language.
WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime for cloud native, edge, and decentralized applications. It powers serverless apps, embedded functions, microservices,…
BtrPlace is a virtual machine scheduler. You can specialized it safely through independent constraints to make it support what match your expectations.
A language for intent-centric and declarative decentralised applications