Pinned Repositories
akuklev
algebraic-theories
Arend
HOCC
Higher Observational Construction Calculus
HoTT-Prerequisites
Some introductory articles and literature lists for understanding Homotopy Type Theory
html-reworked
Linear-HoTT
QIITs-in-Cedille
Implementation of Martin-Löf style Equality Type and Quotient Inductive-Inductive Types in Cedille
reedy-limits
Playing around with Semi-Simplicial Types and related structures
akuklev's Repositories
akuklev/HoTT-Prerequisites
Some introductory articles and literature lists for understanding Homotopy Type Theory
akuklev/algebraic-theories
akuklev/akuklev
akuklev/html-reworked
akuklev/Linear-HoTT
akuklev/reedy-limits
Playing around with Semi-Simplicial Types and related structures
akuklev/HOCC
Higher Observational Construction Calculus
akuklev/QIITs-in-Cedille
Implementation of Martin-Löf style Equality Type and Quotient Inductive-Inductive Types in Cedille
akuklev/Arend
akuklev/cubicaltt
akuklev/finitism
An extremely weak logic-free calculus for meta-reasoning.
akuklev/jQuery-File-Upload
File Upload widget with multiple file selection, drag&drop support, progress bars and preview images for jQuery. Supports cross-domain, chunked and resumable file uploads and client-side image resizing. Works with any server-side platform (PHP, Python, Ruby on Rails, Java, Node.js, Go etc.) that supports standard HTML form file uploads.
akuklev/objects
akuklev/playframework
Play Framework
akuklev/thoughts-on-linear-logic
Some random thoughts on linear logic
akuklev/types-for-dummies
DRAGONS BE HERE