vorpal-research

Jetbrains research verification & program analysis lab #jetbrains-research

Pinned Repositories

bbf
Kotlin compiler fuzzer and reduktor
1 4 02
grammar-converter
Convert ANTLR4 .g4 grammar into ebnf/markdown
Language:ANTLR3 2 12
kex
A platform for analysis of Java bytecode
Language:Kotlin28 4 3320
kfg
Library for building CFG for Java bytecode
Language:Kotlin10 5 85
kotlin-pandoc
Writing Pandoc https://pandoc.org/ scripts in a more human-oriented language
Language:Kotlin4 3 02
kotlin-wheels
Just a random kotlin util collection
Language:Kotlin1 2 02
kotoed
Language:Kotlin6 4 848
ktuples
Tuple types for kotlin
Language:Kotlin1 2 00
SymKt
Playing around with symbolic arithmetics in kotlin
Language:Kotlin1 3 00
TIP
Static program analysis for TIP
Language:Scala2 3 021

vorpal-research's Repositories

vorpal-research/kex
A platform for analysis of Java bytecode
Language:Kotlin28 4 3320
vorpal-research/kfg
Library for building CFG for Java bytecode
Language:Kotlin10 5 85
vorpal-research/kotoed
Language:Kotlin6 4 848
vorpal-research/kotlin-pandoc
Writing Pandoc https://pandoc.org/ scripts in a more human-oriented language
Language:Kotlin4 3 02
vorpal-research/grammar-converter
Convert ANTLR4 .g4 grammar into ebnf/markdown
Language:ANTLR3 2 12
vorpal-research/TIP
Static program analysis for TIP
Language:Scala2 3 021
vorpal-research/bbf
Kotlin compiler fuzzer and reduktor
1 4 02
vorpal-research/kex-intrinsics
Language:Kotlin1 5 01
vorpal-research/kotlin-wheels
Just a random kotlin util collection
Language:Kotlin1 2 02
vorpal-research/ktuples
Tuple types for kotlin
Language:Kotlin1 2 00
vorpal-research/LogicKt
Toy logic engine based in [miniKanren](http://minikanren.org)
Language:Kotlin1 3 00
vorpal-research/PSICreator
Language:Kotlin1 5 01
vorpal-research/SymKt
Playing around with symbolic arithmetics in kotlin
Language:Kotlin1 3 00
vorpal-research/kparsec
Parser combinator library written entirely in Kotlin
Language:Kotlin0 2 00
vorpal-research/libsl
Language:Kotlin0 4 02
vorpal-research/buildbot-dynamic
Language:Python3 0
vorpal-research/jackson-module-ktuples
Language:Kotlin2 01
vorpal-research/JavaBoolector
Language:Java5 02
vorpal-research/kcheck
Random data generation lib
Language:Kotlin2 41
vorpal-research/kex-dockerfile
Docker image for Kex
Language:Makefile4 1
vorpal-research/kootstrap
Language:Kotlin3 0
vorpal-research/kotlin-maven
Umbrella repo for maven packages
3 0
vorpal-research/kotlin-type-classes
Simple dynamic type class support for kotlin
Language:Kotlin2 01
vorpal-research/kotlinx-warnings
Language:Shell2 0
vorpal-research/kotoed-buildbot-deploy
Language:Python3 0
vorpal-research/kotoed-docker
Language:Dockerfile3 0
vorpal-research/kotoed-update
Language:Shell3 0
vorpal-research/simple-diagrammer
A simple library that turns ascii diagrams into images
Language:Kotlin2 0
vorpal-research/SmallSuffixTree
Language:Kotlin3 0
vorpal-research/vscode-kotlin-syntax
WIP
Language:Scala5 0