Languages, Systems, and Data at UC Santa Cruz

@lsd-ucsc

Popular repositories Loading

🎶 Choreographic programming in Rust 🎶

Rust 68 5
Causal separation diagrams

Agda 8 1
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 12
Solidity code for the on-chain component of Decentagram project

Solidity 2
agda ffi for tcp networking

Agda 1 2

Showing 10 of 31 repositories

lsd-ucsc/lsd-ucsc.github.io’s past year of commit activity

HTML
3 12 1 0
Updated Mar 11, 2026
lsd-ucsc/Parkour’s past year of commit activity

Haskell 0 BSD-3-Clause 0
0 0
Updated Feb 19, 2026
csds Public
Causal separation diagrams

lsd-ucsc/csds’s past year of commit activity

Agda
8 1 0 0
Updated Apr 11, 2025
ChoRus Public
🎶 Choreographic programming in Rust 🎶

lsd-ucsc/ChoRus’s past year of commit activity

Rust
68
MIT
5 0 0
Updated Mar 16, 2025
lsd-ucsc/DecentDevContainer’s past year of commit activity

Dockerfile 0 MIT 0
0 0
Updated Jan 20, 2025
lsd-ucsc/DecentEnclaveServer’s past year of commit activity

C++ 0 MIT 0
0 0
Updated Dec 21, 2024
lsd-ucsc/DecentEthereum’s past year of commit activity

C++ 0 MIT 0
0 0
Updated Dec 21, 2024
lsd-ucsc/DecentRevoker’s past year of commit activity

C++ 0 MIT 0
0 0
Updated Dec 21, 2024
lsd-ucsc/EclipseMonitor’s past year of commit activity

C++ 0 MIT
2 1 1
Updated Dec 21, 2024
lsd-ucsc/decent-revoker-onchain’s past year of commit activity

Solidity
1
0
0 0
Updated Dec 17, 2024

Loading…