Skip to content
View ranjitjhala's full-sized avatar
231 followers · 2 following

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Highlights

  • Pro

Organizations

@ucsd-progsys @UCSD-PL

Block or report ranjitjhala

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. sprite-lang sprite-lang Public

    An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.

    Haskell 144 13

  2. haddock-annot haddock-annot Public

    Modified versions of Cabal & Haddock for rendering Annotated HTML with Mouseover Types.

    Haskell 12

  3. brick-tac-toe brick-tac-toe Public

    Simple tic-tac-toe using `brick`

    Haskell 12 2

  4. hover-tooltips hover-tooltips Public

    Mouseover Tooltip plugin for Atom

    TypeScript 4 2

  5. ghc-options ghc-options Public

    Utilities for extracting the GHC options needed to compile a given target Haskell file.

    Haskell 4

  6. linter-hdevtools linter-hdevtools Public

    Atom package for linting haskell source using hdevtools

    CoffeeScript 3 3