Skip to content
@lsd-ucsc

Languages, Systems, and Data at UC Santa Cruz

Popular repositories Loading

  1. ChoRus ChoRus Public

    🎶 Choreographic programming in Rust 🎶

    Rust 39 2

  2. CASL CASL Public

    7 2

  3. csds csds Public

    Causal separation diagrams

    Agda 4

  4. lsd-ucsc.github.io lsd-ucsc.github.io Public

    Source Hugo repository for https://lsd.ucsc.edu. The generated files live on the `public` branch: https://github.com/lsd-ucsc/lsd-ucsc.github.io/tree/public

    HTML 3 9

  5. decent-pubsub-onchain decent-pubsub-onchain Public

    Solidity code for the on-chain component of Decentagram project

    Solidity 2

  6. agda-net agda-net Public

    agda ffi for tcp networking

    Agda 1 2

Repositories

Showing 10 of 30 repositories

Top languages

Loading…

Most used topics

Loading…