ITTC System-Level Design Group (@ku-sldg)
Guthub

ku-sldg

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    14
  • Global Org. Rank 137,353 (Top 44 %)
  • Registered about 11 years ago
  • Most used languages
    Coq     50.0 %
    Standard ML     12.5 %
    HTML
         12.5 %
    Haskell
         12.5 %
    C
         12.5 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 139,947
  • Country Ranking
    Coq     85
    Standard ML     153
    Haskell
         3,023

Top repositories

1

verified-tpm12

Githb repo for Verified TPM project
HTML
4
star
2

copland-avm

Copland Attestation Virtual Machine definition and tools
Coq
3
star
3

CTL

Coq CTL model
Coq
2
star
4

dependent-crypto

Experiments related to a Coq theory of perfect crypography
Coq
1
star
5

stairCASE

DARPA stairCASE Program
C
1
star
6

haskell-am

Haskell Attestation Manager implementation and tools
Haskell
1
star
7

am-cakeml

Delivery repo for the KU CakeML Attestation Manager
Standard ML
1
star
8

cryptobasics

Coq cryptography theories
Coq
1
star