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
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — eve-mas - Overview
@eve-mas eve-mas Follow
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
@eve-mas
eve-mas
Follow
View eve-mas's full-sized avatar

EVE-MAS eve-mas

Follow
Equilibrium Verification Environment for Multi-Agent Systems -- Maintained by: @valvestate
4 followers · 1 following

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault Contributor
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars

Popular repositories Loading

  1. eve-parity eve-parity Public

    Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of concurrent and multi-agent systems.

    Python 21 5

  2. sevia sevia Public

    SRML Games Equilibrium Verification via ISPL Analysis

    C

Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.

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.