Languages, Systems, and Data at UC Santa Cruz

Popular repositories Loading

1. ChoRus ChoRus Public

   🎶 Choreographic programming in Rust 🎶

   Rust 73 5

2. CASL CASL Public

   9 2

3. csds csds Public

   Causal separation diagrams

   Agda 9 1

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 13

5. agda-net agda-net Public

   agda ffi for tcp networking

   Agda 3 3

6. decent-pubsub-onchain decent-pubsub-onchain Public

   Solidity code for the on-chain component of Decentagram project

   Solidity 2