Skip to content
View alimosaed's full-sized avatar
1 follower · 2 following

Achievements

Achievement: Pull SharkAchievement: Quickdraw

Achievements

Achievement: Pull SharkAchievement: Quickdraw

Block or report alimosaed

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

Pinned Loading

  1. Smart-Contract-Modelling-uOttawa/Symboleo-IDE Smart-Contract-Modelling-uOttawa/Symboleo-IDE Public

    An IDE for Symboleo, a formal contract specification language.

    Xtend 18 7

  2. Smart-Contract-Modelling-uOttawa/Symboleo-Compliance-Checker Smart-Contract-Modelling-uOttawa/Symboleo-Compliance-Checker Public

    This repo contains the compliance checker for Symboleo.

    Java 6 3

  3. Smart-Contract-Modelling-uOttawa/Symboleo-Model-Checker-Test-Generator Smart-Contract-Modelling-uOttawa/Symboleo-Model-Checker-Test-Generator Public

    A test generator application designed to create performance benchmarks for SymploeoPC

    Java 5

  4. infilock/InfiBlog infilock/InfiBlog Public

    Infilock Blog generator

    Go 15 1

  5. solace_ai_connector_ui solace_ai_connector_ui Public

    Forked from jerosoler/Drawflow

    JavaScript

  6. SolaceDev/solace-ai-connector SolaceDev/solace-ai-connector Public

    Forked from SolaceLabs/solace-ai-connector

    Fork of the public SolaceLabs version. Dev work will happen here

    Python 1