Skip to content
View kai-qu's full-sized avatar
259 followers · 23 following

Highlights

  • Pro

Block or report kai-qu

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • opencollective-frontend Public

    Forked from opencollective/opencollective-frontend

    Open Collective's Frontend. A React app powered by Next.js.

    JavaScript MIT License Updated May 6, 2022

  • linear-logic Public

    An encoding of linear logic in Coq with minimal Sokoban and blocks world examples

    Coq 21 3 Updated Feb 4, 2022

  • mern-crud Public

    Forked from cefjoeii/mern-crud

    A simple records system using MongoDB, Express.js, React.js, and Node.js with real-time CRUD operations using Socket.io

    JavaScript MIT License Updated Jan 21, 2021

  • notation Public

    Collection of quotes on notation design & how it affects thought.

    1,854 53 Updated Dec 11, 2020

  • tfjs-opt-tutorial Public

    Quick tutorial on how to use tensorflow.js for optimization.

    JavaScript Updated Sep 22, 2020

  • syntax Public

    Experiments with syntax and symbols

    Haskell 14 Updated Mar 5, 2019

  • part-of-speech Public

    a conversational interface for writing (with J. Juang) http://hypotext.co/part-of-speech

    JavaScript 7 Updated Feb 22, 2019

  • women-in-programming-languages-research Public

    Forked from jeanqasaur/women-in-programming-languages-research

    Women in Programming Languages and Software Engineering Research

    Updated Feb 12, 2018

  • penrose Public

    Forked from penrose/penrose

    a system to automatically visualize mathematics

    JavaScript 1 1 MIT License Updated Jan 17, 2018

  • hyperbible Public

    The new revised international KJV-ASV-DRB-DBT-ERV-WBT-WEB-YET-AKJV-WNT version

    HTML 11 1 Updated Dec 12, 2017

  • fcf Public

    Forked from adampetcher/fcf

    Foundational Cryptography Framework for machine-checked proofs of cryptography, adding HMAC-DRBG spec and security proofs. Deprecated; see link for newest version

    Coq Updated May 14, 2017

  • HMAC-DRBG Public

    modifying func_spec/rng/specs folder, original https://bitbucket.org/naphatkrit/rng

    Coq Updated Jul 11, 2016

  • thesis Public

    TeX source and slides for my senior thesis on verifying HMAC-DRBG.

    Coq Updated May 11, 2016

  • poemify Public

    ever wanted to change water into wine? better: now you can change prose into poetry

    Haskell 15 1 Updated Dec 7, 2015

  • knotation Public

    Strange Loop 2015 talk: knot notation, enumeration, and drawing

    Haskell 31 3 Updated Sep 27, 2015

  • vst-hmac Public

    Formally proving equivalence between two specs of HMAC [obsolete -- see https://github.com/PrincetonUniversity/VST]

    Coq Other Updated Feb 19, 2015

  • vst-crypto Public

    SHA-256 and HMAC specs and lemmas (from VST)

    Coq 2 Updated Jan 11, 2015

  • alternative-internet Public

    Forked from redecentralize/alternative-internet

    A collection of interesting new networks and tech aiming at decentralisation (in some form).

    8 1 Updated Jul 8, 2013

  • magic Public

    For the Diaconis card trick involving linear shift registers, calculates the 5 spectator cards.

    Updated Feb 20, 2013