Skip to content
View ishantheperson's full-sized avatar
🏠
Working from home
🏠
Working from home
18 followers · 12 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report ishantheperson

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. CalLavicka/c0-vscode-extension CalLavicka/c0-vscode-extension Public

    VSCode Extension for C0. Used by 15-122 students at Carnegie Mellon University.

    TypeScript 8 4

  2. F0 F0 Public

    A compiler for a functional programming language including many features

    Haskell 3

  3. ModelChecking ModelChecking Public

    Testing the validity of a structure with rational relationships

    Haskell 1

  4. c0check c0check Public

    Test harness for the CC0 suite in Rust

    Rust

  5. pixel-game pixel-game Public

    Inspired by dan-ball's java powder game

    TypeScript 1

  6. sml-derive-base-functor sml-derive-base-functor Public

    Deriving base functors + maps/catamorphisms for SML datatypes

    Haskell