Skip to content
@vorpal-research

Vorpal @ Jetbrains Research

Jetbrains research verification & program analysis lab #jetbrains-research

Pinned Loading

  1. kex kex Public

    A platform for analysis of Java bytecode

    Kotlin 28 20

  2. kotoed kotoed Public

    Kotlin 6 8

  3. bbf bbf Public

    Kotlin compiler fuzzer and reduktor

    1 2

Repositories

Showing 10 of 42 repositories
  • kex Public

    A platform for analysis of Java bytecode

    vorpal-research/kex’s past year of commit activity
    Kotlin 28 Apache-2.0 20 9 1 Updated Oct 14, 2024
  • TIP Public template Forked from cs-au-dk/TIP

    Static program analysis for TIP

    vorpal-research/TIP’s past year of commit activity
    Scala 2 127 0 1 Updated Jun 17, 2024
  • kex-dockerfile Public

    Docker image for Kex

    vorpal-research/kex-dockerfile’s past year of commit activity
    Makefile 0 0 0 0 Updated Jun 4, 2024
  • kfg Public

    Library for building CFG for Java bytecode

    vorpal-research/kfg’s past year of commit activity
    Kotlin 10 Apache-2.0 5 0 0 Updated May 23, 2024
  • vorpal-research/kex-intrinsics’s past year of commit activity
    Kotlin 1 Apache-2.0 1 0 0 Updated May 2, 2024
  • kotoed Public
    vorpal-research/kotoed’s past year of commit activity
    Kotlin 6 8 20 27 Updated May 20, 2023
  • grammar-converter Public

    Convert ANTLR4 .g4 grammar into ebnf/markdown

    vorpal-research/grammar-converter’s past year of commit activity
    ANTLR 3 2 1 1 Updated May 9, 2023
  • vorpal-research/jackson-module-ktuples’s past year of commit activity
    Kotlin 0 1 0 3 Updated May 9, 2023
  • kotlin-pandoc Public

    Writing Pandoc https://pandoc.org/ scripts in a more human-oriented language

    vorpal-research/kotlin-pandoc’s past year of commit activity
    Kotlin 4 MIT 2 0 2 Updated Nov 16, 2022
  • libsl Public
    vorpal-research/libsl’s past year of commit activity
    Kotlin 0 2 0 0 Updated Oct 3, 2022

Top languages

Loading…

Most used topics

Loading…