Skip to content
View SamKouteili's full-sized avatar
11 followers · 21 following
  • New Haven

Achievements

Achievement: Pull Sharkx2Achievement: Quickdraw

Achievements

Achievement: Pull Sharkx2Achievement: Quickdraw

Highlights

  • Pro

Block or report SamKouteili

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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. Crossroad2Effects Crossroad2Effects Public

    A genetic algorithm infrastructure for filter exploration (filter finder).

    C++ 15 1

  2. spec-mining-tsl spec-mining-tsl Public

    Python

  3. kiter kiter Public

    Forked from bbodin/kiter

    Kiter is an iterative algorithm based on K-periodic scheduling to compute the throughput of a CSDFG.

    C++

  4. Arithmetic-Coq-Compiler Arithmetic-Coq-Compiler Public

    Implementing a simple verified compiler in Coq

    Coq