AbdullinAM

AbdullinAM's Stars

• plan-research/llm-pipeline

  Pipeline for processing LLM generated code to extract metrics

  Language:Kotlin2

• AdvancedJavaLabs/parallel_lab1_cpp

  Language:C++1

• tanyagray/action-upload-release-asset

  An Action to upload a release asset via the GitHub Release API

  Language:JavaScript42

• uds-se/fuzzingbook

  Project page for "The Fuzzing Book"

  Language:Jupyter Notebook1.1k231

• ajalt/clikt

  Multiplatform command line interface parsing for Kotlin

  Language:Kotlin2.5k120

• EvoSuite/evosuite

  EvoSuite - automated generation of JUnit test suites for Java classes

  Language:Java840342

• JetBrains/lincheck

  Framework for testing concurrent data structures

  Language:Kotlin57933

• JUnitContest/JUGE

  junit tools contest infrastructure

  Language:Java117

• JetBrains-Research/TestSpark

  TestSpark - a plugin for generating unit tests. TestSpark natively integrates different AI-based test generation tools and techniques in the IDE. Started by SERG TU Delft. Currently under implementation by JetBrains Research (Software Testing Research) for research purposes.

  Language:Kotlin5020

• nikitabobko/AeroSpace

  AeroSpace is an i3-like tiling window manager for macOS

  Language:Swift6.7k108

• wcventure/FuzzingPaper

  Recent Fuzzing Paper

  2.4k362

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.3k1.5k

• vorpal-research/kfg

  Library for building CFG for Java bytecode

  Language:Kotlin96

• vorpal-research/kex

  A platform for analysis of Java bytecode

  Language:Kotlin2820

• STAMP-project/JCrashPack

  A Java Crash reproduction benchmark

  43

• ranger/ranger

  A VIM-inspired filemanager for the console

  Language:Python15.5k891

• UnitTestBot/ksmt

  Kotlin/Java API for various SMT solvers

  Language:Kotlin2713

• nektos/act

  Run your GitHub Actions locally 🚀

  Language:Go54.7k1.4k

• trailofbits/algo

  Set up a personal VPN in the cloud

  Language:Jinja28.9k2.3k

• Saloed/smtlib-intellij-plugin

  Plugin for Intellij Idea to work with Smt-Lib language

  Language:Kotlin4

• JetBrains/kotlin

  The Kotlin Programming Language.

  Language:Kotlin49.2k5.8k

• ktorio/ktor

  Framework for quickly creating connected applications in Kotlin with minimal effort

  Language:Kotlin12.9k1.1k

• Heapy/awesome-kotlin

  A curated list of awesome Kotlin related stuff Inspired by awesome-java.

  Language:Kotlin11k1.2k

• HackerMadCat/konarrayka

  Constructor for custom game narration like mafia games

  Language:Kotlin2

• rjust/defects4j

  A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research

  Language:Perl729301

• kelseyhightower/nocode

  The best way to write secure and reliable applications. Write nothing; deploy nowhere.

  Language:Dockerfile60.6k4.7k

• cbeust/klaxon

  A JSON parser for Kotlin

  Language:Kotlin1.9k121

• ejiektpobehuk/latex_templates

  1315