KTH STEP group (@kth-step)
Guthub

kth-step

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    60
  • Global Org. Rank 73,271 (Top 24 %)
  • Registered over 5 years ago
  • Most used languages
    Standard ML     60.0 %
    C
         40.0 %
  • Location ๐Ÿ‡ง๐Ÿ‡ธ The Bahamas
  • Country Total Rank 2
  • Country Ranking
    C
         1
    Standard ML     1

Top repositories

1

HolBA

Binary analysis in HOL
Standard ML
34
star
2

itppv-course

Interactive Theorem Proving course using HOL4
Standard ML
7
star
3

HOL4P4

P4 formalization using Ott and HOL4
Standard ML
6
star
4

EmbExp-Box_firmware

C
4
star
5

s3k

Capability based separation Kernel for embedded RISC-V.
C
4
star
6

separation-kernel

C
2
star
7

s3k-poc

Proof-of-concept application using the S3K kernel
C
1
star
8

dma-controller-verification

Standard ML
1
star
9

mil

Formal definition, metatheory, and tools for the Machine Independent Language using HOL4 and CakeML
Standard ML
1
star
10

Silver-Pi

Verified Pipelined Processor Circuit
Standard ML
1
star
11

fp-course

1
star