Skip to content
@kframework

K framework

README.md

Popular repositories Loading

  1. c-semantics c-semantics Public

    Semantics of C in K

    C 307 41

  2. k-legacy k-legacy Public archive

    The K tools (deprecated, see README)

    Java 146 61

  3. X86-64-semantics X86-64-semantics Public

    Semantics of x86-64 in K

    Assembly 145 13

  4. javascript-semantics javascript-semantics Public

    KJS: A Complete Formal Semantics of JavaScript

    JavaScript 86 21

  5. llvm-semantics llvm-semantics Public

    Formal semantics of LLVM IR in K

    LLVM 45 9

  6. vyper-semantics vyper-semantics Public

    KVyper: Semantics of Vyper in K

    Python 41 9

Repositories

Showing 10 of 36 repositories
  • homebrew-k Public

    K Homebrew tap

    kframework/homebrew-k’s past year of commit activity
    3 1 0 0 Updated Nov 14, 2023
  • boogie-semantics Public
    kframework/boogie-semantics’s past year of commit activity
    Boogie 5 1 3 1 Updated Nov 2, 2023
  • ewasm-semantics Public archive
    kframework/ewasm-semantics’s past year of commit activity
    WebAssembly 0 1 0 4 Updated Mar 23, 2023
  • rust-metamath Public

    A Rust Implementation of Metamath

    kframework/rust-metamath’s past year of commit activity
    Rust 3 0 0 0 Updated Sep 16, 2022
  • c-semantics Public

    Semantics of C in K

    kframework/c-semantics’s past year of commit activity
    C 307 41 59 5 Updated Feb 1, 2022
  • .github Public
    kframework/.github’s past year of commit activity
    0 0 0 0 Updated Jan 25, 2022
  • java-semantics Public

    The semantics of Java in K

    kframework/java-semantics’s past year of commit activity
    Java 19 9 11 0 Updated Sep 15, 2021
  • p4-semantics Public

    Formal Semantics of P4 in K

    kframework/p4-semantics’s past year of commit activity
    P4 20 2 0 0 Updated May 21, 2021
  • matching-logic-prover Public
    kframework/matching-logic-prover’s past year of commit activity
    SMT 15 4 14 10 Updated Apr 16, 2021
  • k-in-k Public

    Defining the semantics of K in K

    kframework/k-in-k’s past year of commit activity
    Python 11 4 0 2 Updated May 6, 2020
View all repositories

Top languages

Loading…

Most used topics

Loading…