Skip to content
View zkincaid's full-sized avatar
47 followers · 0 following

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Highlights

  • Pro
Block or Report

Block or report zkincaid

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. duet duet Public

    Duet: static analysis for unbounded concurrency

    OCaml 23 17

  2. srk srk Public

    Symbolic Reasoning Kit

    OCaml 8 1

  3. ocaml-mathsat ocaml-mathsat Public

    OCaml bindings for MathSAT 5

    OCaml 2 2

  4. bench bench Public

    SMT 2 2

  5. opam-repository opam-repository Public

    Forked from ocaml/opam-repository

    Main public package repository for OPAM, the source package manager of OCaml.

    OCaml 1

  6. llvm2smt llvm2smt Public

    Forked from termite-analyser/llvm2smt

    OCaml library to transform an Llvm control flow graph in an SMT formula.

    OCaml 1