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
  • Verites
  • 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 — Grupo de Verificação, Validação e Teste de Sistemas Computacionais

Pinned Loading

  1. verigraph verigraph Public

    Software specification and verification system based on graph rewriting

    Haskell 37 5

  2. presentations presentations Public

    TeX

  3. verigraph-tutorial verigraph-tutorial Public

    Installation and usage tutorial for Verigraph

    TeX

Repositories

Loading
Type
Language
Sort
Showing 6 of 6 repositories
  • verigraph Public

    Software specification and verification system based on graph rewriting

    Uh oh!

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

     Verites/verigraph's past year of commit activity
    Haskell 37 Apache-2.0 5 35 (2 issues need help) 2 Updated Aug 26, 2026
  • case-studies Public

    Uh oh!

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

     Verites/case-studies's past year of commit activity
    Java 0 0 0 0 Updated Feb 28, 2019
  • LTSExtractor.extension Public

    Extension for the LTS Extractor platform, which is used for enabling the communication with the methods for generating model analysis, and to ease the management of log files throughout the platform.

    Uh oh!

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

     Verites/LTSExtractor.extension's past year of commit activity
    Java 0 Apache-2.0 0 0 0 Updated Nov 19, 2018
  • verigraph-tutorial Public

    Installation and usage tutorial for Verigraph

    Uh oh!

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

     Verites/verigraph-tutorial's past year of commit activity
    TeX 0 0 0 0 Updated Jun 26, 2017
  • verigraph-docs Public

    Verigraph Internal Documentation

    Uh oh!

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

     Verites/verigraph-docs's past year of commit activity
    HTML 0 Apache-2.0 1 0 0 Updated May 14, 2017
  • presentations Public

    Uh oh!

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

     Verites/presentations's past year of commit activity
    TeX 0 0 0 0 Updated May 7, 2017

People
@andreicosta @jsbezerra @levindoneto @lm-rodrigues

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.