akaiDing

Pinned Repositories

• ocean-cat

  Language:Swift51

• gradual-typing-semantics-in-sgdt

  Language:Agda5200

• rshiny-globus

  Integrate RShiny web app with Globus endpoint for running LLaMA

  Language:Python10

• zydeco

  a proof-of-concept programming language based on Call-by-push-value

  Language:Rust504442

akaiDing's Repositories