Skip to content
View nanavati's full-sized avatar
10 followers · 10 following

Achievements

Achievement: Pull Sharkx2
BetaSend feedback

Achievements

Achievement: Pull Sharkx2
BetaSend feedback
Block or Report

Block or report nanavati

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

    Forked from scottgw/llvm

    Haskell bindings to the LLVM compiler infrastructure project.

    Haskell 1

  2. monad-tutorial monad-tutorial Public

    Forked from jnewbern/monad-tutorial

    Monad tutorial development for ILC '09

    Clojure 1

  3. geniplate geniplate Public

    Forked from augustss/geniplate

    Use TH to generate uniplate-like functions.

    Haskell

  4. bsc bsc Public

    Forked from B-Lang-org/bsc

    Bluespec Compiler (BSC)

    Bluespec

  5. bsc-testsuite bsc-testsuite Public

    Forked from B-Lang-org/bsc-testsuite

    Test suite for Bluespec Compiler (BSC)

    Bluespec

  6. bsc-contrib bsc-contrib Public

    Forked from B-Lang-org/bsc-contrib

    A place to share libraries and utilities that don't belong in the core bsc repo

    Bluespec