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
  • sws-lab
  • 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 — Laboratory for Software Science

Popular repositories Loading

  1. cooperace cooperace Public

    CoOpeRace: Cooperative Data Race Verification

    SWIG 1

  2. sv-comp-witness-vscode sv-comp-witness-vscode Public

    Kotlin

  3. softsec26 softsec26 Public

    https://courses.cs.ut.ee/2025/softsec

    Python 1

  4. digit2025-infer digit2025-infer Public

    Forked from meta/infer

    A static analyzer for Java, C, C++, and Objective-C

    OCaml

  5. open-verification-dashboard open-verification-dashboard Public

    Dashboard for Tracking Verification Progress

    Svelte

  6. java-cma java-cma Public

    Java 1

Repositories

Loading
Type
Language
Sort
Showing 7 of 7 repositories
  • cooperace Public

    CoOpeRace: Cooperative Data Race Verification

    Uh oh!

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

     sws-lab/cooperace's past year of commit activity
    SWIG 1 MIT 0 0 0 Updated Nov 9, 2026
  • open-verification-dashboard Public

    Dashboard for Tracking Verification Progress

    Uh oh!

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

     sws-lab/open-verification-dashboard's past year of commit activity
    Svelte 0 MIT 0 0 1 Updated Jun 18, 2026
  • softsec26 Public

    https://courses.cs.ut.ee/2025/softsec

    Uh oh!

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

     sws-lab/softsec26's past year of commit activity
    Python 0 1 0 0 Updated Jun 16, 2026
  • aktlangs Public

    AKT näidiskeelte repositoorium

    Uh oh!

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

     sws-lab/aktlangs's past year of commit activity
    Java 0 2 0 1 Updated May 29, 2026
  • java-cma Public

    Uh oh!

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

     sws-lab/java-cma's past year of commit activity
    Java 0 1 0 1 Updated Jan 8, 2026
  • sv-comp-witness-vscode Public

    Uh oh!

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

     sws-lab/sv-comp-witness-vscode's past year of commit activity
    Kotlin 0 0 6 0 Updated Sep 30, 2025
  • digit2025-infer Public Forked from meta/infer

    A static analyzer for Java, C, C++, and Objective-C

    Uh oh!

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

     sws-lab/digit2025-infer's past year of commit activity
    OCaml 0 MIT 2,418 0 0 Updated May 9, 2025

People
@sim642 @vesalvojdani @karoliineh

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 01402520 — 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.