Repositories list

• kex

  Public
  A platform for analysis of Java bytecode

  symbolic-executionautomated-testingconcolic-testing+ 4kexwhite-box-fuzzingkotlinjava

  Kotlin

  •

  Apache License 2.0

  •20•28•9•1•Updated Oct 14, 2024Oct 14, 2024

• TIP

  Public template
  Static program analysis for TIP

  Scala

  •126•2•0•1•Updated Jun 17, 2024Jun 17, 2024

• kex-dockerfile

  Public
  Docker image for Kex

  docker-imagekex

  Makefile

  •0•0•0•0•Updated Jun 4, 2024Jun 4, 2024

• kfg

  Public
  Library for building CFG for Java bytecode

  cfgjvm-bytecodekotlin+ 1java

  Kotlin

  •

  Apache License 2.0

  •5•10•0•0•Updated May 23, 2024May 23, 2024

• kex-intrinsics

  Public
  Kotlin

  •

  Apache License 2.0

  •1•1•0•0•Updated May 2, 2024May 2, 2024

• kotoed

  Public
  Kotlin

  •8•6•20•27•Updated May 20, 2023May 20, 2023

• grammar-converter

  Public
  Convert ANTLR4 .g4 grammar into ebnf/markdown

  ANTLR

  •2•3•1•1•Updated May 9, 2023May 9, 2023

• jackson-module-ktuples

  Public
  Kotlin

  •1•0•0•3•Updated May 9, 2023May 9, 2023

• kotlin-pandoc

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

  Kotlin

  •

  MIT License

  •2•4•0•2•Updated Nov 16, 2022Nov 16, 2022

• libsl

  Public
  Kotlin

  •2•0•0•0•Updated Oct 3, 2022Oct 3, 2022

• kotlin-wheels

  Public
  Just a random kotlin util collection

  Kotlin

  •

  MIT License

  •2•1•0•0•Updated Jul 26, 2022Jul 26, 2022

• JavaBoolector

  Public
  Java

  •

  Apache License 2.0

  •2•0•0•0•Updated Jul 7, 2022Jul 7, 2022

• simple-diagrammer

  Public
  A simple library that turns ascii diagrams into images

  Kotlin

  •

  MIT License

  •0•0•0•1•Updated Jun 20, 2022Jun 20, 2022

• kotlin-type-classes

  Public
  Simple dynamic type class support for kotlin

  Kotlin

  •

  MIT License

  •1•0•0•1•Updated Jun 20, 2022Jun 20, 2022

• kcheck

  Public
  Random data generation lib

  Kotlin

  •

  MIT License

  •1•0•2•2•Updated Jun 20, 2022Jun 20, 2022

• bbf

  Public
  Kotlin compiler fuzzer and reduktor

  2•1•0•5•Updated May 31, 2022May 31, 2022

• kotlinx-warnings

  Public
  Shell

  •0•0•0•0•Updated May 27, 2022May 27, 2022

• SymKt

  Public
  Playing around with symbolic arithmetics in kotlin

  Kotlin

  •0•1•0•1•Updated Apr 29, 2022Apr 29, 2022

• kparsec

  Public
  Parser combinator library written entirely in Kotlin

  parser-combinatorskotlin

  Kotlin

  •

  MIT License

  •0•0•0•0•Updated Feb 25, 2022Feb 25, 2022

• SmallSuffixTree

  Public
  Kotlin

  •

  Apache License 2.0

  •4•0•0•0•Updated Aug 19, 2021Aug 19, 2021

• ktuples

  Public
  Tuple types for kotlin

  Kotlin

  •

  MIT License

  •0•1•0•0•Updated Aug 10, 2021Aug 10, 2021

• vscode-kotlin-syntax

  Public
  WIP

  Scala

  •

  MIT License

  •0•0•0•0•Updated May 11, 2021May 11, 2021

• PSICreator

  Public
  Kotlin

  •1•1•0•0•Updated Apr 9, 2021Apr 9, 2021

• kotlin-maven

  Public
  Umbrella repo for maven packages

  0•0•0•0•Updated Feb 3, 2021Feb 3, 2021

• kootstrap

  Public
  Kotlin

  •0•0•0•1•Updated Oct 13, 2020Oct 13, 2020

• LogicKt

  Public
  Toy logic engine based in [miniKanren](http://minikanren.org)

  Kotlin

  •0•1•0•0•Updated Aug 21, 2020Aug 21, 2020

• kotoed-update

  Public
  Shell

  •0•0•0•0•Updated Jun 28, 2020Jun 28, 2020

• kotoed-buildbot-deploy

  Public
  Python

  •0•0•0•0•Updated Jun 28, 2020Jun 28, 2020

• buildbot-dynamic

  Public
  Python

  •0•0•0•0•Updated Jun 28, 2020Jun 28, 2020

• kotoed-docker

  Public
  Dockerfile

  •0•0•0•0•Updated Jun 28, 2020Jun 28, 2020