Languages, Systems, and Data at UC Santa Cruz (@lsd-ucsc)
Guthub

lsd-ucsc

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    25
  • Global Org. Rank 107,994 (Top 35 %)
  • Registered about 5 years ago
  • Most used languages
    Solidity
         30.0 %
    Agda     20.0 %
    Python
         20.0 %
    HTML
         10.0 %
    C
         10.0 %
    Rust
         10.0 %

Top repositories

1

ChoRus

🎢 Choreographic programming in Rust 🎢
Rust
7
star
2

CASL

7
star
3

lsd-ucsc.github.io

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
star
4

decent-pubsub-onchain

Solidity code for the on-chain component of Decentagram project
Solidity
2
star
5

Decentagram

C
1
star
6

agda-net

agda ffi for tcp networking
Agda
1
star
7

PyEthHelper

Python helper scripts implemented for Ethereum related projects
Python
1
star
8

decent-ra-onchain

Solidity
1
star
9

CanvasAPI

Some useful API requesters for Canvas's API
Python
1
star
10

decent-revoker-onchain

Solidity
1
star
11

choreographies-in-agda

Agda
1
star