k4rtik

Programming Languages, Quantum Computing, Systems, and more. In superposition with @qartik.

UChicago CSChicago, IL

Pinned Repositories

openqasm-parser
OCaml library for manipulating OpenQASM Abstract Syntax Tree
Language:OCaml7 4 13
latex-project-report-template
LaTeX based template for college project reports
Language:TeX74 7 048
popclip-ytdl
PopClip youtube-dl extension
Language:Makefile5 2 21
PureVMM
A Purely Hardware-Assisted VMM for x86 Architecture
Language:C9 5 010
pydf-pypi
PyPI package for pydf
Language:Python30 3 65
uchicago-dissertation
University of Chicago electronic dissertation LaTeX class and template
Language:TeX11 2 45
uchicago-poster
Unofficial Poster Template for UChicago Computer Science
Language:TeX8 1 01
arrays
An λ-Q# extension for safe qubit arrays
Language:OCaml0 1 150
lambda-qs
Formalization of λ-Q#, a core calculus for Q# programming language
Language:Coq7 3 11
bib
A Quantum Programming Languages and Verification Literature Bibliography
Language:TeX8 1 100

k4rtik's Repositories

k4rtik/uchicago-dissertation
University of Chicago electronic dissertation LaTeX class and template
Language:TeX11 2 45
k4rtik/uchicago-poster
Unofficial Poster Template for UChicago Computer Science
Language:TeX8 1 01
k4rtik/bittorrent-rs
BitTorrent Protocol and Client implementation in Rust
Language:Rust2 3 00
k4rtik/q
Language:HTML1 2 0
k4rtik/qsharp.sty
LaTeX support for Q# syntax highlighting
Language:TeX1 0 0
k4rtik/QuantumKatas
Programming exercises for learning Q# and quantum computing
Language:Jupyter Notebook1 1 0
k4rtik/techglider.in
Source for my public web home
Language:HTML1 2 13
k4rtik/type-systems
To learn by doing formalization
Language:Makefile1 2 0
k4rtik/acmart
ACM consolidated LaTeX styles
Language:TeX0 0
k4rtik/agda-soas
Agda formalisation of second-order abstract syntax
Language:Agda0 0
k4rtik/btclient
Language:Rust3 0
k4rtik/counterexamples
Counterexamples in Type Systems
Language:JavaScript0 0
k4rtik/feynman
Quantum circuit analysis toolkit
Language:Haskell0 0
k4rtik/HybridCoq
Mirror of Coq Hybrid Library for git convenience
Language:Coq1 0
k4rtik/ittc
Materials related to the Iowa Type Theory Commute podcast
Language:TeX0 0
k4rtik/LambdaJS
Semantics and tools for JavaScript
Language:JavaScript0 0
k4rtik/linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
Language:Ruby2 0
k4rtik/liquidhaskell
Liquid Types For Haskell
Language:Haskell0 0
k4rtik/lngen
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
Language:Haskell1 0
k4rtik/nice-parser
Nice parsers in OCaml without the boilerplate
Language:OCaml1 0
k4rtik/ott
The Ott tool for writing definitions of programming languages and calculi
Language:OCaml1 0
k4rtik/pfpl-syntax
PFPL syntax macros.
Language:TeX0 0
k4rtik/platform
Multi platform setup for Coq, Coq libraries and tools
Language:Shell0 0
k4rtik/plzoo
Programming Languages Zoo
Language:OCaml0 0
k4rtik/qhtt-thesis
LaTeX source for my master's paper on Quantum Hoare Type Theory.
Language:TeX2 0
k4rtik/qsharp-compiler
Q# compiler, command line tool, and Q# language server
Language:C#0 0
k4rtik/qsharp-language
Official repository for design of the quantum programming language Q# and its core libraries
Language:ANTLR0 0
k4rtik/sprite-lang
An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
Language:Haskell0 0
k4rtik/urweb
The Ur/Web programming language
Language:Standard ML0 0
k4rtik/whiley-lang
Syntax highlighting extension for Whiley programming language
1 1