Repositories list

• 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

  •9•3•1•0•Updated Nov 21, 2024Nov 21, 2024

• csds

  Public
  Causal separation diagrams

  Agda

  •0•4•0•0•Updated Nov 15, 2024Nov 15, 2024

• ChoRus

  Public
  🎶 Choreographic programming in Rust 🎶

  Rust

  •

  MIT License

  •2•39•1•1•Updated Nov 14, 2024Nov 14, 2024

• decent-framework

  Public
  A wiki repo for Decent Framework, a framework for building secure distributed applications with enclaves.

  0•0•0•0•Updated Aug 29, 2024Aug 29, 2024

• HasTEE

  Public
  HasTEE⁺ - Haskell DSL for programming TEEs - modified for devcontainer use

  Haskell

  •

  Other

  •1•1•0•0•Updated Aug 23, 2024Aug 23, 2024

• decent-ra-onchain

  Public
  Solidity

  •0•1•0•1•Updated Jul 12, 2024Jul 12, 2024

• PyEthHelper

  Public
  Python helper scripts implemented for Ethereum related projects

  Python

  •

  MIT License

  •0•1•0•0•Updated Jul 11, 2024Jul 11, 2024

• DecentEthereum

  Public
  C++

  •

  MIT License

  •0•0•0•0•Updated Jul 8, 2024Jul 8, 2024

• EclipseMonitor

  Public
  C++

  •

  MIT License

  •2•0•1•1•Updated Jun 27, 2024Jun 27, 2024

• DecentRevoker

  Public
  C++

  •

  MIT License

  •0•0•0•0•Updated Jun 19, 2024Jun 19, 2024

• DecentEnclaveServer

  Public
  This is the new implementation of DecentServer (https://github.com/zhenghaven/decent-ra-server)

  C++

  •

  MIT License

  •0•0•0•0•Updated Jun 7, 2024Jun 7, 2024

• Decentagram

  Public
  C

  •

  MIT License

  •0•1•0•0•Updated May 10, 2024May 10, 2024

• DecentDevContainer

  Public
  Dockerfile

  •

  MIT License

  •0•0•0•0•Updated Apr 3, 2024Apr 3, 2024

• zyAPI

  Public
  Some useful API requesters for zyBooks's API

  Python

  •0•0•0•0•Updated Mar 18, 2024Mar 18, 2024

• CanvasAPI

  Public
  Some useful API requesters for Canvas's API

  Python

  •0•1•0•0•Updated Mar 11, 2024Mar 11, 2024

• decent-revoker-onchain

  Public
  Solidity

  •0•1•0•0•Updated Mar 3, 2024Mar 3, 2024

• decent-pubsub-onchain

  Public
  Solidity code for the on-chain component of Decentagram project

  Solidity

  •0•2•0•0•Updated Feb 28, 2024Feb 28, 2024

• hakkell.paper

  Public
  TeX

  •

  MIT License

  •0•0•0•0•Updated Dec 7, 2023Dec 7, 2023

• choreographies-in-agda

  Public
  Agda

  •0•1•0•0•Updated Nov 30, 2023Nov 30, 2023

• sleeve

  Public
  Automatic Reliability Testing for Kubernetes Controllers

  Python

  •

  BSD 2-Clause "Simplified" License

  •20•0•0•1•Updated Oct 27, 2023Oct 27, 2023

• GradescopeGrader

  Public
  Python

  •

  MIT License

  •0•0•0•0•Updated Oct 26, 2023Oct 26, 2023

• cbcast-lh

  Public
  Haskell

  •0•0•0•0•Updated Jun 25, 2023Jun 25, 2023

• CASL

  Public
  2•7•0•0•Updated May 5, 2023May 5, 2023

• knative-runtime-bugs

  Public
  A taxonomy of runtime issues submitted against the Knative Serving project

  0•0•0•0•Updated Apr 28, 2023Apr 28, 2023

• mog

  Public
  Haskell

  •

  Other

  •0•0•0•0•Updated Apr 27, 2023Apr 27, 2023

• vc-hb-iso

  Public
  Proof that vector clocks are isomorphic to the happens-before relation.

  Agda

  •2•0•0•0•Updated Aug 15, 2022Aug 15, 2022

• agda-net

  Public
  agda ffi for tcp networking

  Agda

  •2•1•0•0•Updated May 17, 2022May 17, 2022

• causal-delivery-verdi

  Public
  Agda

  •0•0•0•0•Updated May 4, 2022May 4, 2022

• confusing-lh-error-corpus

  Public
  Haskell

  •0•0•0•0•Updated Jan 13, 2022Jan 13, 2022

• lh-plugin-demo

  Public
  A small package that demonstrates how to use LiquidHaskell as a GHC plugin

  Haskell

  •15•0•0•0•Updated Aug 19, 2021Aug 19, 2021