Skip to content

@kth-step KTH STEP group

Change the repository type filter

All

    Repositories list

    39 repositories

    • plfm-course

      Public
      0•0•0•0•Updated Apr 17, 2026Apr 17, 2026

    • HOL4P4

      Public
      P4 formalization using Ott and HOL4
      ottp4hol4
      ottp4hol4
      Standard ML
      •
      Apache License 2.0
      •1•18•0•0•Updated Apr 16, 2026Apr 16, 2026

    • HolBA-multicore

      Public
      Binary analysis in HOL
      Standard ML
      •
      Other
      •21•1•0•1•Updated Mar 30, 2026Mar 30, 2026

    • BIR-angr

      Public
      Python
      •1•1•0•0•Updated Mar 27, 2026Mar 27, 2026

    • itppv-course

      Public
      Interactive Theorem Proving course using HOL4
      course-materialshol4cakeml
      course-materialshol4cakeml
      Standard ML
      •0•13•0•0•Updated Mar 27, 2026Mar 27, 2026

    • s3k

      Public
      Capability-based real-time separation kernel for secure embedded RISC-V.
      real-timeembeddedkernel
      real-timeembeddedkernelrisc-vseparation-kernelcapability-based
      C
      •
      MIT License
      •10•16•0•1•Updated Mar 16, 2026Mar 16, 2026

    • HolBA

      Public
      Binary analysis in HOL
      armproofbinary-analysis
      armproofbinary-analysisarmv8risc-vcortex-m0hol4
      Standard ML
      •
      Other
      •21•46•34•0•Updated Mar 9, 2026Mar 9, 2026

    • probability-jam

      Public
      We collect theory files and references for learning probability theory with HOL4.
      Standard ML
      •0•0•0•0•Updated Jan 22, 2026Jan 22, 2026

    • EmbExp-ProgPlatform

      Public
      Embedded Experiments - the program platform
      C
      •3•3•1•0•Updated Oct 31, 2025Oct 31, 2025

    • EmbExp-Box

      Public
      Python
      •
      Other
      •2•0•3•0•Updated Oct 31, 2025Oct 31, 2025

    • EmbExp-Box_firmware

      Public
      C
      •0•4•0•0•Updated Oct 31, 2025Oct 31, 2025

    • openocd

      Public
      clone from git://git.code.sf.net/p/openocd/code
      C
      •
      Other
      •0•1•0•0•Updated Oct 31, 2025Oct 31, 2025

    • swswitch-perf

      Public
      A testbed for measuring the performance of software switches using Pktgen-DPDK.
      Shell
      •
      Apache License 2.0
      •0•1•0•0•Updated Oct 2, 2025Oct 2, 2025

    • Pktgen-DPDK

      Public
      DPDK based packet generator
      C
      •
      Other
      •148•0•0•0•Updated Sep 30, 2025Sep 30, 2025

    • EmbExp-Logs

      Public
      Python
      •2•0•0•0•Updated Jun 5, 2025Jun 5, 2025

    • s3k-poc

      Public
      Proof-of-concept application using the S3K kernel
      C
      •0•1•0•0•Updated Apr 8, 2025Apr 8, 2025

    • libs3k

      Public
      User-space library for S3K.
      C
      •0•0•0•0•Updated Apr 2, 2025Apr 2, 2025

    • s3k-examples

      Public
      Meson
      •
      MIT License
      •0•0•0•0•Updated Mar 12, 2025Mar 12, 2025

    • HOL

      Public
      Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `maste…
      Standard ML
      •
      Other
      •168•0•0•0•Updated Feb 24, 2025Feb 24, 2025

    • syntax-course

      Public
      Code and other material related to a course in Swedish on formal languages and syntax analysis
      Java
      •
      The Unlicense
      •1•2•0•0•Updated Jan 14, 2025Jan 14, 2025

    • abs-metatheory

      Public
      Coq
      •
      MIT License
      •0•0•3•1•Updated Jan 10, 2025Jan 10, 2025

    • kth-step.github.io

      Public
      KTH STEP group's website
      SCSS
      •1•0•0•0•Updated Oct 11, 2024Oct 11, 2024

    • evoting-demonstrator

      Public
      C
      •
      Other
      •0•0•0•0•Updated Sep 14, 2024Sep 14, 2024

    • fp-course

      Public
      0•1•0•0•Updated Jun 3, 2024Jun 3, 2024

    • Silver-Pi

      Public
      Verified Pipelined Processor Circuit
      Standard ML
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated May 28, 2024May 28, 2024

    • Hypervisor

      Public
      C
      •
      Other
      •0•0•0•0•Updated Jun 13, 2023Jun 13, 2023

    • hypervisor.linux

      Public
      C
      •
      Other
      •0•0•0•0•Updated May 17, 2023May 17, 2023

    • dma-controller-verification

      Public
      Standard ML
      •0•2•0•0•Updated May 16, 2023May 16, 2023

    • EmbExp-BalRob

      Public
      Embedded Experiments - balancing robot demo
      C
      •0•1•0•0•Updated Dec 19, 2022Dec 19, 2022

    • separation-kernel

      Public archive
      C
      •
      MIT License
      •0•2•0•0•Updated Dec 1, 2022Dec 1, 2022
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.