Skip to content
View ankitku's full-sized avatar
🥭
🥭

Block or report ankitku

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
ankitku/README.md
  • 👋 Hi, I’m @ankitku
  • 👀 I’m interested in formal methods, automated theorem proving, distributed systems and programming languages.
  • 📫 How to reach me : https://ankitku.github.io

Pinned Loading

  1. TAL0 TAL0 Public

    Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.

    Coq 21 3

  2. Twisted_Functor_Verification Twisted_Functor_Verification Public

    HTML

  3. ankitku.github.io ankitku.github.io Public

    my web log

    HTML 1

  4. SoftwareFoundationsExercises SoftwareFoundationsExercises Public

    Solving exercises in code downloaded from Software Foundations book by Benjamin C. Pierce et al.

    HTML

  5. Thesis Thesis Public

    LaTex files of theory project I am doing as part of my thesis under Prof. Anil Seth, CSE-IITK

    TeX

  6. Droidcon13 Droidcon13 Public

    Java