Repositories list

• ScExFuSS

  Public
  ScExFuSS (Scala Exercise Functional Scoring System) is an extension of JUnit that is used to evaluate Scala programming homework exercises.

  Scala

  •

  Apache License 2.0

  •00 forks in FAU-Inf2/ScExFuSS•11 star in FAU-Inf2/ScExFuSS•00 issues in FAU-Inf2/ScExFuSS•00 pull requests in FAU-Inf2/ScExFuSS•Updated Sep 23, 2026Sep 23, 2026

• AuDoscore

  Public
  AuDoscore is an extension of JUnit that is used to evaluate Java programming homework exercises.

  Java

  •

  Apache License 2.0

  •33 forks in FAU-Inf2/AuDoscore•55 stars in FAU-Inf2/AuDoscore•66 issues in FAU-Inf2/AuDoscore•11 pull request in FAU-Inf2/AuDoscore•Updated Sep 13, 2026Sep 13, 2026

• Softwater

  Public
  Collection of Software Watermarks (mostly as LLVM transformation plugins) developed at FAU-Inf2 by the Softwater Group

  LLVM

  •00 forks in FAU-Inf2/Softwater•11 star in FAU-Inf2/Softwater•00 issues in FAU-Inf2/Softwater•00 pull requests in FAU-Inf2/Softwater•Updated Apr 16, 2026Apr 16, 2026

• llvm-examples

  Public
  A simple example that shows how to build an LLVM pass as a dynamic library as well as a stand-alone application

  C++

  •

  MIT License

  •00 forks in FAU-Inf2/llvm-examples•11 star in FAU-Inf2/llvm-examples•00 issues in FAU-Inf2/llvm-examples•00 pull requests in FAU-Inf2/llvm-examples•Updated Aug 28, 2025Aug 28, 2025

• LLWM

  Public
  LLVM

  •11 fork in FAU-Inf2/LLWM•22 stars in FAU-Inf2/LLWM•11 issue in FAU-Inf2/LLWM•00 pull requests in FAU-Inf2/LLWM•Updated Feb 6, 2025Feb 6, 2025

• RedBench

  Public
  This repository accompanies the research paper "P. Kreutzer, T. Kunze, M. Philippsen: Test Case Reduction: A Framework, Benchmark, and Comparative Study" publis…

  C

  •

  MIT License

  •11 fork in FAU-Inf2/RedBench•22 stars in FAU-Inf2/RedBench•00 issues in FAU-Inf2/RedBench•11 pull request in FAU-Inf2/RedBench•Updated Jan 24, 2025Jan 24, 2025

• OpenMP2FPGAMultlayerCacheingData

  Public
  C++

  •00 forks in FAU-Inf2/OpenMP2FPGAMultlayerCacheingData•22 stars in FAU-Inf2/OpenMP2FPGAMultlayerCacheingData•00 issues in FAU-Inf2/OpenMP2FPGAMultlayerCacheingData•00 pull requests in FAU-Inf2/OpenMP2FPGAMultlayerCacheingData•Updated Jul 17, 2024Jul 17, 2024

• IMPACT24RP

  Public archive
  This repository accompanies the research paper "Employing polyhedral methods to optimize stencils on FPGAs with stencil-specific caches, data reuse, and wide da…

  C++

  •

  MIT License

  •00 forks in FAU-Inf2/IMPACT24RP•00 stars in FAU-Inf2/IMPACT24RP•00 issues in FAU-Inf2/IMPACT24RP•00 pull requests in FAU-Inf2/IMPACT24RP•Updated Dec 16, 2023Dec 16, 2023

• OpenMP2FPGACachingData

  Public
  C

  •00 forks in FAU-Inf2/OpenMP2FPGACachingData•00 stars in FAU-Inf2/OpenMP2FPGACachingData•00 issues in FAU-Inf2/OpenMP2FPGACachingData•00 pull requests in FAU-Inf2/OpenMP2FPGACachingData•Updated Sep 7, 2023Sep 7, 2023

• OpenMP2FPGASamples

  Public
  C

  •00 forks in FAU-Inf2/OpenMP2FPGASamples•00 stars in FAU-Inf2/OpenMP2FPGASamples•00 issues in FAU-Inf2/OpenMP2FPGASamples•00 pull requests in FAU-Inf2/OpenMP2FPGASamples•Updated Jan 13, 2023Jan 13, 2023

• StarSmith

  Public archive
  This repository accompanies the research paper "P. Kreutzer, S. Kraus, M. Philippsen: Language-Agnostic Generation of Compilable Test Programs" published at ICS…

  Java

  •

  MIT License

  •66 forks in FAU-Inf2/StarSmith•1212 stars in FAU-Inf2/StarSmith•00 issues in FAU-Inf2/StarSmith•00 pull requests in FAU-Inf2/StarSmith•Updated Jul 8, 2022Jul 8, 2022

• RedPEG

  Public
  This repository accompanies the research paper "P. Kreutzer, T. Kunze, M. Philippsen: Test Case Reduction: A Framework, Benchmark, and Comparative Study" publis…

  Java

  •

  MIT License

  •11 fork in FAU-Inf2/RedPEG•22 stars in FAU-Inf2/RedPEG•00 issues in FAU-Inf2/RedPEG•11 pull request in FAU-Inf2/RedPEG•Updated Jan 12, 2022Jan 12, 2022

• MiniC

  Public
  MiniC: A Toy SUT for Compiler Testing Techniques

  Java

  •

  MIT License

  •00 forks in FAU-Inf2/MiniC•00 stars in FAU-Inf2/MiniC•00 issues in FAU-Inf2/MiniC•00 pull requests in FAU-Inf2/MiniC•Updated Dec 6, 2021Dec 6, 2021

• j-PEG

  Public
  j-PEG: A PEG parsing framework for Java

  Java

  •

  MIT License

  •11 fork in FAU-Inf2/j-PEG•22 stars in FAU-Inf2/j-PEG•00 issues in FAU-Inf2/j-PEG•00 pull requests in FAU-Inf2/j-PEG•Updated Dec 2, 2021Dec 2, 2021

• FuzzPEG

  Public
  FuzzPEG: A Context-Free Random Program Generator

  Java

  •

  MIT License

  •00 forks in FAU-Inf2/FuzzPEG•55 stars in FAU-Inf2/FuzzPEG•00 issues in FAU-Inf2/FuzzPEG•00 pull requests in FAU-Inf2/FuzzPEG•Updated Nov 23, 2021Nov 23, 2021

• bitdep

  Public archive
  Repository for the research paper "Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible"

  Java

  •

  GNU General Public License v3.0

  •00 forks in FAU-Inf2/bitdep•00 stars in FAU-Inf2/bitdep•00 issues in FAU-Inf2/bitdep•00 pull requests in FAU-Inf2/bitdep•Updated Nov 16, 2020Nov 16, 2020

• sesame

  Public archive
  Repository accompanying the paper "SeSaMe: A Data Set of Semantically Similar Java Methods"

  Python

  •44 forks in FAU-Inf2/sesame•55 stars in FAU-Inf2/sesame•11 issue in FAU-Inf2/sesame•00 pull requests in FAU-Inf2/sesame•Updated Jan 30, 2020Jan 30, 2020

• ARES

  Public archive
  Java

  •

  Apache License 2.0

  •33 forks in FAU-Inf2/ARES•22 stars in FAU-Inf2/ARES•00 issues in FAU-Inf2/ARES•00 pull requests in FAU-Inf2/ARES•Updated Nov 12, 2019Nov 12, 2019

• tree-measurements

  Public archive
  Java

  •

  Creative Commons Zero v1.0 Universal

  •11 fork in FAU-Inf2/tree-measurements•55 stars in FAU-Inf2/tree-measurements•00 issues in FAU-Inf2/tree-measurements•00 pull requests in FAU-Inf2/tree-measurements•Updated Nov 30, 2018Nov 30, 2018

• cthree

  Public archive
  Java

  •

  Apache License 2.0

  •33 forks in FAU-Inf2/cthree•55 stars in FAU-Inf2/cthree•00 issues in FAU-Inf2/cthree•00 pull requests in FAU-Inf2/cthree•Updated Nov 30, 2018Nov 30, 2018

• treedifferencing

  Public archive
  Java

  •

  GNU Lesser General Public License v3.0

  •189189 forks in FAU-Inf2/treedifferencing•1414 stars in FAU-Inf2/treedifferencing•00 issues in FAU-Inf2/treedifferencing•00 pull requests in FAU-Inf2/treedifferencing•Updated Feb 14, 2018Feb 14, 2018

• syfex-measurements

  Public archive
  Java

  •

  Apache License 2.0

  •00 forks in FAU-Inf2/syfex-measurements•00 stars in FAU-Inf2/syfex-measurements•00 issues in FAU-Inf2/syfex-measurements•00 pull requests in FAU-Inf2/syfex-measurements•Updated Apr 12, 2016Apr 12, 2016

• SMile

  Public archive
  K-9 Mail – Advanced Email for Android

  Java

  •

  Other

  •2.9k2.9k forks in FAU-Inf2/SMile•1818 stars in FAU-Inf2/SMile•22 issues in FAU-Inf2/SMile•00 pull requests in FAU-Inf2/SMile•Updated Dec 20, 2015Dec 20, 2015

• fixmymail-ios

  Public archive
  Swift

  •

  Other

  •11 fork in FAU-Inf2/fixmymail-ios•22 stars in FAU-Inf2/fixmymail-ios•00 issues in FAU-Inf2/fixmymail-ios•00 pull requests in FAU-Inf2/fixmymail-ios•Updated Oct 14, 2015Oct 14, 2015

• SMileCE

  Public archive
  Java

  •

  Other

  •44 forks in FAU-Inf2/SMileCE•88 stars in FAU-Inf2/SMileCE•00 issues in FAU-Inf2/SMileCE•00 pull requests in FAU-Inf2/SMileCE•Updated Oct 14, 2015Oct 14, 2015

• smime-api

  Public archive
  Java

  •

  Other

  •11 fork in FAU-Inf2/smime-api•00 stars in FAU-Inf2/smime-api•00 issues in FAU-Inf2/smime-api•00 pull requests in FAU-Inf2/smime-api•Updated Oct 14, 2015Oct 14, 2015

• SMilePGP

  Public archive
  Objc OpenSSL wrapper.

  C

  •

  MIT License

  •55 forks in FAU-Inf2/SMilePGP•00 stars in FAU-Inf2/SMilePGP•00 issues in FAU-Inf2/SMilePGP•00 pull requests in FAU-Inf2/SMilePGP•Updated Oct 14, 2015Oct 14, 2015

• mailcore2

  Public archive
  MailCore 2 provide a simple and asynchronous API to work with e-mail protocols IMAP, POP and SMTP. The API has been redesigned from ground up.

  C++

  •

  Other

  •648648 forks in FAU-Inf2/mailcore2•00 stars in FAU-Inf2/mailcore2•00 issues in FAU-Inf2/mailcore2•00 pull requests in FAU-Inf2/mailcore2•Updated Sep 25, 2015Sep 25, 2015

• Godzippa

  Public archive
  Godzippa! - GZip Compression / Decompression Category for NSData

  Objective-C

  •

  MIT License

  •4949 forks in FAU-Inf2/Godzippa•00 stars in FAU-Inf2/Godzippa•00 issues in FAU-Inf2/Godzippa•00 pull requests in FAU-Inf2/Godzippa•Updated Sep 22, 2015Sep 22, 2015

• unnetpgp

  Public archive
  NetPGP based PGP library for iOS

  C

  •

  Apache License 2.0

  •1515 forks in FAU-Inf2/unnetpgp•00 stars in FAU-Inf2/unnetpgp•00 issues in FAU-Inf2/unnetpgp•00 pull requests in FAU-Inf2/unnetpgp•Updated Sep 7, 2015Sep 7, 2015