Skip to content
@Ucombinator

U Combinator

Popular repositories Loading

  1. parsing-with-zippers parsing-with-zippers Public

    A clean implementation of Parsing with Zippers.

    OCaml 37 2

  2. jaam jaam Public

    JVM Abstracting Abstract Machine

    Scala 25 3

  3. Tapas Tapas Public

    Dalvik bytecode analysis in scala

    Scala 15 7

  4. jade jade Public archive

    Jade: The Java Decompiler [Replaced by a rewrite in Kotlin at https://github.com/plilab/jade]

    Scala 7 1

  5. anadroid anadroid Public

    Taint flow analysis for android

    Scala 6 7

  6. cloud9-analyst cloud9-analyst Public

    Forked from c9/cloud9

    Fork of cloud9 with plugins for navigation of static analysis results.

    JavaScript 1

Repositories

Showing 10 of 11 repositories
  • jade Public archive

    Jade: The Java Decompiler [Replaced by a rewrite in Kotlin at https://github.com/plilab/jade]

    Scala 7 GPL-3.0 1 0 0 Updated Mar 13, 2025
  • Tapas Public

    Dalvik bytecode analysis in scala

    Scala 15 7 0 0 Updated Apr 11, 2019
  • jaam Public

    JVM Abstracting Abstract Machine

    Scala 25 3 0 0 Updated Jan 29, 2019
  • spf-plotter Public
    Java 0 MIT 0 0 0 Updated Jan 24, 2019
  • spf-wca Public Forked from isstac/spf-wca

    Tool for algorithmic complexity analysis based on symbolic execution

    Java 0 MIT 8 0 0 Updated Jan 20, 2019
  • parsing-with-zippers Public

    A clean implementation of Parsing with Zippers.

    OCaml 37 BSD-2-Clause 2 0 0 Updated Sep 22, 2018
  • maven-repo Public
    0 0 0 0 Updated Aug 16, 2017
  • soot-docs Public

    Javadoc from the nightly build of soot we use in jaam, as their server is down

    HTML 0 0 0 0 Updated Mar 27, 2017
  • anadroid Public

    Taint flow analysis for android

    Scala 6 7 0 0 Updated Mar 19, 2015
  • soot-wrapper Public
    Java 1 0 0 0 Updated Mar 13, 2015
View all repositories

Top languages

Loading…

Most used topics

Loading…