k4rtik

uchicago-dissertation

University of Chicago electronic dissertation LaTeX class and template

uchicago-poster

Unofficial Poster Template for UChicago Computer Science

bittorrent-rs

BitTorrent Protocol and Client implementation in Rust

q

qsharp.sty

LaTeX support for Q# syntax highlighting

QuantumKatas

Programming exercises for learning Q# and quantum computing

techglider.in

Source for my public web home

type-systems

To learn by doing formalization

acmart

ACM consolidated LaTeX styles

agda-soas

Agda formalisation of second-order abstract syntax

btclient

counterexamples

Counterexamples in Type Systems

feynman

Quantum circuit analysis toolkit

HybridCoq

Mirror of Coq Hybrid Library for git convenience

ittc

Materials related to the Iowa Type Theory Commute podcast

LambdaJS

Semantics and tools for JavaScript

linguist

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

liquidhaskell

Liquid Types For Haskell

lngen

Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott

nice-parser

Nice parsers in OCaml without the boilerplate

ott

The Ott tool for writing definitions of programming languages and calculi

pfpl-syntax

PFPL syntax macros.

platform

Multi platform setup for Coq, Coq libraries and tools

plzoo

Programming Languages Zoo

qhtt-thesis

LaTeX source for my master's paper on Quantum Hoare Type Theory.

qsharp-compiler

Q# compiler, command line tool, and Q# language server

qsharp-language

Official repository for design of the quantum programming language Q# and its core libraries

sprite-lang

An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.

urweb

The Ur/Web programming language

whiley-lang

Syntax highlighting extension for Whiley programming language