Giters
Ankit Kumar (ankitku)

ankitku

Geek Repo

13

followers

38

following

60

stars

Company:Northeastern University

Location:Boston

Home Page:https://ankitku.github.io

Github PK Tool:Github PK Tool

Ankit Kumar's repositories

TAL0

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

Language:CoqLicense:MITStargazers:21Issues:3Issues:1

A2C

Tools to automate grading of automata.

Language:Common LispStargazers:2Issues:3Issues:0

ankitku.github.io

my web log

Language:HTMLStargazers:1Issues:0Issues:0

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

Language:JavaScriptLicense:LGPL-2.1Stargazers:1Issues:2Issues:0

SeqSolve

SeqSolve is a decision procedure for the satisfiability of String Equations with Length Constraints. It is based on a non-deterministic transition system TranSeq which is based on the Mathematical Programming Modulo Theories framework.

Language:SMTStargazers:1Issues:0Issues:0

SoftwareFoundationsExercises

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

Language:HTMLLicense:MITStargazers:0Issues:2Issues:0

Thesis

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

Language:TeXLicense:MITStargazers:0Issues:0Issues:0

Twisted_Functor_Verification

Language:HTMLLicense:MITStargazers:0Issues:2Issues:0

acl2

ACL2 System and Books as Maintained by the Community

Language:Common LispLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ankitku

Config files for my GitHub profile.

Stargazers:0Issues:1Issues:0

awotap

Ankit's World of Types and Proofs

Language:CoqLicense:MITStargazers:0Issues:2Issues:0

blog_source

source of my weblog

Language:HTMLStargazers:0Issues:0Issues:0

cardboard_teach

teaching assist to save state of the black board

Language:C#Stargazers:0Issues:0Issues:0

category-theory

A formalization of category theory in Coq for personal study and practical work

Language:CoqStargazers:0Issues:2Issues:0

circuit-finding-algorithm

An implementation of the Johnson's circuit finding algorithm

Language:C++Stargazers:0Issues:2Issues:0

cv

My Curriculum Vitae

Stargazers:0Issues:0Issues:0

dotfiles

backup programs and dotfiles

Language:Emacs LispStargazers:0Issues:2Issues:0

gradescope-acl2s

Library to automate grading of ACL2s forms in Gradescope

Language:Common LispStargazers:0Issues:0Issues:0

gsacl2ws

ACL2 Workshop code

Language:Common LispStargazers:0Issues:0Issues:0

hacker-scripts

Language:RubyStargazers:0Issues:2Issues:0

HLearn

Homomorphic machine learning

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

HOLO

Online Learning algos in Haskell

Language:HaskellStargazers:0Issues:2Issues:0

ksp

Stargazers:0Issues:2Issues:0

latex-pretty-symbols

Display many latex symbols as their unicode counterparts

Stargazers:0Issues:0Issues:0

messenger-platform-samples

Messenger Platform samples for sending and receiving messages. Walk through the Get Started with this code. https://developers.facebook.com/docs/messenger-platform/quickstart

Language:JavaScriptStargazers:0Issues:0Issues:0

socialpegion

Language:JavaScriptStargazers:0Issues:2Issues:0

soot-infoflow-android

Android-specific components of FlowDroid

Language:JavaLicense:LGPL-2.1Stargazers:0Issues:3Issues:0

Toposhot

The source code of Toposhop that can uncover Ethereum topology

Stargazers:0Issues:0Issues:0

TouchImageView

Adds touch functionality to Android ImageView.

Language:JavaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0