Skip to content
View Divesh-Otwani's full-sized avatar
33 followers · 7 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
Block or Report

Block or report Divesh-Otwani

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. bgamari/the-thoralf-plugin bgamari/the-thoralf-plugin Public

    This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.

    Haskell 22 6

  2. cs-thesis cs-thesis Public

    These are my optimizations of syr2k from PolyBench 4.0 for my undergraduate thesis.

    C

  3. therapy-assistant therapy-assistant Public

    This is an app to assist therapists with certain therapies starting with CBT. It does not replace therapy but serves to complement human therapy.

    Java

  4. type-verified-concurrent-linkedlist type-verified-concurrent-linkedlist Public

    This is my final project for my Concurrency class.

    XSLT