Repositories list

• spoon

  Public
  Spoon is a metaprogramming library to analyze and transform Java source code (incl Java 9, 10, 11). 🥄 is made with ❤️, 🍻 and ✨. It parses source files to build a well-designed AST with powerful analysis and transformation API.

  Java

  •

  Other

  •352•0•0•0•Updated Dec 16, 2019Dec 16, 2019

• syzkaller

  Public
  syzkaller is an unsupervised coverage-guided kernel fuzzer

  Go

  •

  Apache License 2.0

  •1.2k•0•0•0•Updated Oct 14, 2019Oct 14, 2019

• IdBench

  Public
  IdBench: The dataset is an effort for evaluating to what extent word embeddings of identifiers represent semantic relatedness and similarity.

  8•0•0•0•Updated Oct 9, 2019Oct 9, 2019

• ltp

  Public
  Linux Test Project

  C

  •

  GNU General Public License v2.0

  •1k•0•0•0•Updated Dec 8, 2018Dec 8, 2018

• ok

  Public
  ok.py supports programming projects by running tests, tracking progress, and assisting in debugging.

  Python

  •

  Apache License 2.0

  •84•0•0•0•Updated Oct 12, 2018Oct 12, 2018

• jkind

  Public
  JKind - An infinite-state model checker for safety properties in Lustre

  Java

  •

  Other

  •32•0•0•0•Updated Oct 7, 2018Oct 7, 2018

• Intention-Mining-TSE

  Public
  The dataset and source code for paper "Automating Intention"

  11•0•0•0•Updated Aug 4, 2018Aug 4, 2018

• confsearch

  Public
  CS conference search python library

  Python

  •1•0•0•0•Updated May 8, 2018May 8, 2018

• robot-control-app

  Public
  C# app for robot control

  C++

  •6•0•0•0•Updated Feb 15, 2018Feb 15, 2018

• rasa_core

  Public
  machine learning based dialogue engine for conversational software

  Python

  •

  Apache License 2.0

  •1k•0•0•0•Updated Oct 23, 2017Oct 23, 2017

• spidermonkey

  Public
  Spider Monkey

  C

  •0•0•0•0•Updated Jun 20, 2016Jun 20, 2016

• DSTest

  Public
  A tool for generating focused random test using directed swarm testing.

  0•0•0•0•Updated Jun 15, 2016Jun 15, 2016

• SmartThingsAnalysisTools

  Public
  SmartThings Analysis Tools

  Groovy

  •

  Apache License 2.0

  •16•0•0•0•Updated Apr 23, 2016Apr 23, 2016

• codemining-utils

  Public
  Utility classes for serialization, parameter loading, sampling and math

  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •9•0•0•0•Updated Mar 9, 2016Mar 9, 2016

• maven-repo

  Public
  Maven repository for jars not on maven central

  Python

  •3•0•0•0•Updated Feb 1, 2016Feb 1, 2016

• grepsrc

  Public
  Grep test subject

  C

  •1•0•0•0•Updated Oct 26, 2015Oct 26, 2015

• gzipsrc

  Public
  gzip test subject

  C

  •

  GNU General Public License v2.0

  •0•0•0•0•Updated Sep 17, 2015Sep 17, 2015

• codemining-core

  Public
  A set of tools for extracting tokens and ASTs from code

  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •11•0•0•0•Updated Jun 12, 2015Jun 12, 2015