Skip to content
View LailaElbeheiry's full-sized avatar
5 followers · 1 following

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Block or report LailaElbeheiry

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. meta-logic/sml-to-coq meta-logic/sml-to-coq Public

    A tool that translates SML code to Coq

    Standard ML 6

  2. PythonAutograder PythonAutograder Public

    An auto grader for python scripts.

    Python

  3. stance-detector-QCRI stance-detector-QCRI Public

    Utilizing code from fakenewschallenge.org to be able to detect the bias of each news source in the QCRI database

  4. hamlet hamlet Public

    Forked from rossberg/hamlet

    SML reference interpreter

    Standard ML 2