jmjiang

Pinned Repositories

• Pierce-Types-and-Programming-Languages

  Language:Haskell10

• CSC561_Graphics

  Language:JavaScript00

• CSC591_SocialComputing

  Language:Python00

• openmrs-core

  OpenMRS API and web application code

  Language:Java00

• Programming-Principles-and-Practice-Using-C-

  The implementations of some of the examples, and the problems in the drills and exercises of the book Programming--Principles and Practice Using C++ (Second Edition) by Stroustrup

  Language:C++01

• attack-trees-in-monoidal-cats

  Project Repository: CRII: SHF: A New Foundation for Attack Trees Based on Monoidal Categories

  Language:TeX51

• non-comm-monads-adjoint-models

  Non-Commutative Monads from Commutative/Non-Commutative Adjoint Models

  Language:TeX00

• separating-linear-modalities

  Separating the structural rules into several different modalities, and then relating them

  Language:TeX00

jmjiang's Repositories