Skip to content
Change the repository type filter

All

    Repositories list

    • This is the new implementation of DecentServer (https://github.com/zhenghaven/decent-ra-server)
      C++
      MIT License
      0000Updated Dec 21, 2024Dec 21, 2024
    • C++
      MIT License
      0000Updated Dec 21, 2024Dec 21, 2024
    • C++
      MIT License
      0000Updated Dec 21, 2024Dec 21, 2024
    • C++
      MIT License
      2011Updated Dec 21, 2024Dec 21, 2024
    • Dockerfile
      MIT License
      0000Updated Dec 21, 2024Dec 21, 2024
    • Solidity
      0100Updated Dec 17, 2024Dec 17, 2024
    • Solidity code for the on-chain component of Decentagram project
      Solidity
      0200Updated Dec 17, 2024Dec 17, 2024
    • csds

      Public
      Causal separation diagrams
      Agda
      0400Updated Dec 6, 2024Dec 6, 2024
    • 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
      9310Updated Dec 3, 2024Dec 3, 2024
    • ChoRus

      Public
      🎶 Choreographic programming in Rust 🎶
      Rust
      MIT License
      24200Updated Dec 2, 2024Dec 2, 2024
    • A wiki repo for Decent Framework, a framework for building secure distributed applications with enclaves.
      0000Updated Aug 29, 2024Aug 29, 2024
    • HasTEE

      Public
      HasTEE⁺ - Haskell DSL for programming TEEs - modified for devcontainer use
      Haskell
      Other
      1100Updated Aug 23, 2024Aug 23, 2024
    • Solidity
      0101Updated Jul 12, 2024Jul 12, 2024
    • Python helper scripts implemented for Ethereum related projects
      Python
      MIT License
      0100Updated Jul 11, 2024Jul 11, 2024
    • C
      MIT License
      0100Updated May 10, 2024May 10, 2024
    • zyAPI

      Public
      Some useful API requesters for zyBooks's API
      Python
      0000Updated Mar 18, 2024Mar 18, 2024
    • CanvasAPI

      Public
      Some useful API requesters for Canvas's API
      Python
      0100Updated Mar 11, 2024Mar 11, 2024
    • TeX
      MIT License
      0000Updated Dec 7, 2023Dec 7, 2023
    • Agda
      0100Updated Nov 30, 2023Nov 30, 2023
    • sleeve

      Public
      Automatic Reliability Testing for Kubernetes Controllers
      Python
      BSD 2-Clause "Simplified" License
      21001Updated Oct 27, 2023Oct 27, 2023
    • Python
      MIT License
      0000Updated Oct 26, 2023Oct 26, 2023
    • cbcast-lh

      Public
      Haskell
      0000Updated Jun 25, 2023Jun 25, 2023
    • CASL

      Public
      2700Updated May 5, 2023May 5, 2023
    • A taxonomy of runtime issues submitted against the Knative Serving project
      0000Updated Apr 28, 2023Apr 28, 2023
    • mog

      Public
      Haskell
      Other
      0000Updated Apr 27, 2023Apr 27, 2023
    • vc-hb-iso

      Public
      Proof that vector clocks are isomorphic to the happens-before relation.
      Agda
      2000Updated Aug 15, 2022Aug 15, 2022
    • agda-net

      Public
      agda ffi for tcp networking
      Agda
      2100Updated May 17, 2022May 17, 2022
    • Agda
      0000Updated May 4, 2022May 4, 2022
    • Haskell
      0000Updated Jan 13, 2022Jan 13, 2022
    • A small package that demonstrates how to use LiquidHaskell as a GHC plugin
      Haskell
      15000Updated Aug 19, 2021Aug 19, 2021