Skip to content
View jeb2239's full-sized avatar
15 followers · 39 following

Achievements

Achievement: Public SponsorAchievement: StarstruckAchievement: Pull Shark
BetaSend feedback

Achievements

Achievement: Public SponsorAchievement: StarstruckAchievement: Pull Shark
BetaSend feedback
Block or Report

Block or report jeb2239

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

  1. CINQ CINQ Public

    an implementation of Microsoft's Language integrated query for C++

    C++ 31 1

  2. stop stop Public

    Compiler for the Stop Programming Language. Written in Ocaml. Compiles to LLVM IR.

    OCaml 1

  3. VerifiedFormally VerifiedFormally Public

    Project for CSEEE6863_001_2016_3 - FORMAL VERIF HW SW SYSTEMS

    OCaml