Languages, Systems, and Data at UC Santa Cruz

Popular repositories Loading

1. ChoRus ChoRusPublic

   🎶 Choreographic programming in Rust 🎶

   Rust 73 5

2. CASL CASLPublic

   9 2

3. csds csdsPublic

   Causal separation diagrams

   Agda 9 1

4. lsd-ucsc.github.io lsd-ucsc.github.ioPublic

   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-netPublic

   agda ffi for tcp networking

   Agda 3 3

6. decent-pubsub-onchain decent-pubsub-onchainPublic

   Solidity code for the on-chain component of Decentagram project

   Solidity 2