GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • KASTEL-CSSDA
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles

This view

  • Original page
  • New address

GeezerVison is showing github.com — KASTEL-CSSDA

Popular repositories Loading

  1. SolidityMetaModel SolidityMetaModel Public

    Ecore-Model for Solidity Smart Contracts

    Java 2

  2. SolidityCodeGenerator SolidityCodeGenerator Public

    Code Generator for SolidityMetaModel

    Xtend 1

  3. PCM2Java4Joana PCM2Java4Joana Public archive

    Forked from JohannesHaering/PCM2Java4Joana

    Java 1

  4. SolidityAccessControlEnforcement SolidityAccessControlEnforcement Public

    Modeling and formally enforcing role-based access control policies for smart contracts

    Java 1

  5. CouplingPatternbasedCodeAnalyses CouplingPatternbasedCodeAnalyses Public archive

    Java 2

  6. AccessAnalysis AccessAnalysis Public

    Java

Repositories

Loading
Type
Language
Sort
Showing 6 of 6 repositories
  • CouplingPatternbasedCodeAnalyses Public archive

    Uh oh!

    There was an error while loading. Please reload this page.

     KASTEL-CSSDA/CouplingPatternbasedCodeAnalyses's past year of commit activity
    Java 0 EPL-2.0 2 0 0 Updated Jan 23, 2025
  • AccessAnalysis Public

    Uh oh!

    There was an error while loading. Please reload this page.

     KASTEL-CSSDA/AccessAnalysis's past year of commit activity
    Java 0 EPL-2.0 0 0 0 Updated Oct 16, 2023
  • SolidityAccessControlEnforcement Public

    Modeling and formally enforcing role-based access control policies for smart contracts

    Uh oh!

    There was an error while loading. Please reload this page.

     KASTEL-CSSDA/SolidityAccessControlEnforcement's past year of commit activity
    Java 0 EPL-2.0 1 0 0 Updated Jul 12, 2023
  • PCM2Java4Joana Public archive Forked from JohannesHaering/PCM2Java4Joana

    Uh oh!

    There was an error while loading. Please reload this page.

     KASTEL-CSSDA/PCM2Java4Joana's past year of commit activity
    Java 0 GPL-3.0 2 0 0 Updated Jun 16, 2023
  • SolidityCodeGenerator Public

    Code Generator for SolidityMetaModel

    Uh oh!

    There was an error while loading. Please reload this page.

     KASTEL-CSSDA/SolidityCodeGenerator's past year of commit activity
    Xtend 1 EPL-2.0 0 0 0 Updated Nov 5, 2021
  • SolidityMetaModel Public

    Ecore-Model for Solidity Smart Contracts

    Uh oh!

    There was an error while loading. Please reload this page.

     KASTEL-CSSDA/SolidityMetaModel's past year of commit activity
    Java 2 EPL-2.0 0 0 0 Updated Nov 5, 2021

People
@sebinside

Top languages

Loading…

Uh oh!

There was an error while loading. Please reload this page.

Most used topics

Loading…

Uh oh!

There was an error while loading. Please reload this page.
You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.