Skip to content
View BertLisser's full-sized avatar
8 followers · 7 following
  • CWI
  • Amsterdam

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Organizations

@cwi-swat

Block or report BertLisser

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. rascal rascal Public

    Forked from usethesource/rascal

    The core interpreter of the Rascal meta-programming language

    Java

  2. rascal-eclipse rascal-eclipse Public

    Forked from usethesource/rascal-eclipse

    Eclipse IMP based IDE for the Rascal meta-programming language (warning migration from svn in progress)

    Java

  3. ambidexter ambidexter Public

    Forked from cwi-swat/ambidexter

    AmbiDexter is a static detection tool for ambiguity in context-free grammars, written in SDF2 or in Rascal. It is a combination of an approximative state space exploration tool that filters, combin…

    Java

  4. smt smt Public

    Rascal Spinoff Project: Satisfiability modulo Theory and Model Checking

    Java

  5. dotplugin dotplugin Public

    Displaying Dot Files in svg format

    Java

  6. OpenBug OpenBug Public