FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Original HTTPS Page]

ankitku (Ankit Kumar) · GitHub

Overview Repositories 54 Projects Packages Stars 66
🥭
🥭
17 followers · 40 following

Achievements

x2

Achievements

x2

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.

Close all issues, pull requests, and discussions opened by this user Content in all repositories owned by your account will be closed.
Add an optional note
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to 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 23 4

  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

Back | FazBrowse Home | New Git URL