Pinned Loading

1. Solidity2mCRL2-Compiler-Project Solidity2mCRL2-Compiler-Project Public

   A compiler developed using ANTLR in Java that translates Solidity smart contracts into mCRL2 models

   Java 11

2. Compiler-Course-Projects Compiler-Course-Projects Public

   UT Trade Compiler: Projects for the Design Compiler Course at the University of Tehran (Fall 2023)

   Java 7

3. FunctionCraft-Compiler-TA-Project FunctionCraft-Compiler-TA-Project Public

   A compiler for the FunctionCraft language using ANTLR4, designed as a TA for the Compiler course at the University of Tehran (Spring 2024)

   Java 8

4. HybridRebecaReachabilityAnalysis HybridRebecaReachabilityAnalysis Public

   Forked from SaeedZhiany/HybridRebecaReachabilityAnalysis

   C++ 7

5. Software_Testing_Projects Software_Testing_Projects Public

   Projects of Software Testing Course at University of Tehran; Fall 2023

   HTML 6