{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"gobash","owner":"EngineeringSoftware","isFork":false,"description":"Bash function library","allTopics":["bash","library","libraries","functions","structs","methods","gobash"],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":22,"forksCount":4,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-27T14:04:03.780Z"}},{"type":"Public","name":"finerts","owner":"EngineeringSoftware","isFork":false,"description":"More precise regression test selection via reasoning about semantics-modifying changes","allTopics":["testing","semantic","regression-testing","test-selection"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-24T17:28:04.830Z"}},{"type":"Public","name":"fine-ekstazi","owner":"EngineeringSoftware","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-24T17:26:58.378Z"}},{"type":"Public","name":"fqs","owner":"EngineeringSoftware","isFork":false,"description":"fqs - Command line tool for writing file queries","allTopics":["cli","queries","sql","file","fqs"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-08T05:23:25.183Z"}},{"type":"Public","name":"rustlang-coverage-study","owner":"EngineeringSoftware","isFork":false,"description":"Compare performance of coverage tools for Rust and C++","allTopics":["rust","coverage","cpp"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-28T11:14:17.753Z"}},{"type":"Public","name":"lejit","owner":"EngineeringSoftware","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-23T07:11:59.325Z"}},{"type":"Public","name":"predictiverts","owner":"EngineeringSoftware","isFork":false,"description":"ML-based regression test selection","allTopics":["testing","machine-learning","ml","rts","regression-test-selection"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-11T13:36:55.357Z"}},{"type":"Public","name":"teco","owner":"EngineeringSoftware","isFork":false,"description":"TeCo: an ML+Execution model for test completion","allTopics":["testing","machine-learning","ml4se","test-completion"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":2,"starsCount":26,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-16T17:59:08.501Z"}},{"type":"Public","name":"exli","owner":"EngineeringSoftware","isFork":false,"description":"Automatic extraction of inline tests (from unit tests)","allTopics":["testing","test-automation","test-generation","inline-tests"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-15T06:55:02.506Z"}},{"type":"Public","name":"llvm-project-yalla","owner":"EngineeringSoftware","isFork":true,"description":"The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":11508,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-08T02:33:44.391Z"}},{"type":"Public","name":"codeditor","owner":"EngineeringSoftware","isFork":false,"description":"Multilingual Code Co-Evolution Using Large Language Models","allTopics":["code","evolution","co-evolution","large-language-models","llm"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":12,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T20:07:40.444Z"}},{"type":"Public","name":"tempo","owner":"EngineeringSoftware","isFork":false,"description":"Programming and execution model for parallel bounded exhaustive testing","allTopics":["programming","model","execution","bounded-exhaustive-testing"],"primaryLanguage":{"name":"Cuda","color":"#3A4E3A"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-10T19:14:09.733Z"}},{"type":"Public","name":"gocgo","owner":"EngineeringSoftware","isFork":false,"description":"C language lexer, parser, and visitors","allTopics":["c","go","parser","lexer","visitors"],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-10T17:49:20.735Z"}},{"type":"Public archive","name":"VeDebug","owner":"EngineeringSoftware","isFork":false,"description":"Regression debugging tool for Java","allTopics":["debugging","gui","evoution"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-01T10:38:20.728Z"}},{"type":"Public","name":"jog","owner":"EngineeringSoftware","isFork":false,"description":"Pattern-Based Peephole Optimizations with Java JIT Tests","allTopics":["java","compiler","test","optimization","pattern","jit","openjdk","jit-compiler","shadow","peephole"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-25T06:32:19.452Z"}},{"type":"Public","name":"ogo","owner":"EngineeringSoftware","isFork":false,"description":"Object Graph Programming","allTopics":["programming","declarative","paradigm","heap","cypher","imperative"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-21T16:13:55.600Z"}},{"type":"Public","name":"inlinetest","owner":"EngineeringSoftware","isFork":false,"description":"Tests that check correctness of a single statement","allTopics":["testing","inline","tests","statement","methodology","single"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":12,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-18T06:29:41.556Z"}},{"type":"Public","name":"jattack","owner":"EngineeringSoftware","isFork":false,"description":"Compiler Testing using Template Java Programs","allTopics":["java","testing","template","compiler","jvm","jit-compiler"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":26,"forksCount":5,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-15T22:09:42.377Z"}},{"type":"Public","name":"fine-starts","owner":"EngineeringSoftware","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-11T21:35:33.464Z"}},{"type":"Public","name":"CoditT5","owner":"EngineeringSoftware","isFork":false,"description":"CoditT5: Pretraining for Source Code and Natural Language Editing","allTopics":["machine-learning","software-engineering","pretrained-language-model"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":29,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-22T20:05:04.105Z"}},{"type":"Public","name":"ekstazipp","owner":"EngineeringSoftware","isFork":false,"description":"Regression Test Selection tool for C++","allTopics":["cpp","rts","ekstazi"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-02T05:37:58.679Z"}},{"type":"Public","name":"roosterize-vscode","owner":"EngineeringSoftware","isFork":false,"description":"VSCode extension for Roosterize, a tool for suggesting lemma names in Coq","allTopics":["machine-learning","deep-learning","coq","code-summarization","vscode","vscode-extension"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":3,"issueCount":0,"starsCount":3,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-02T15:08:42.399Z"}},{"type":"Public","name":"rtscheck","owner":"EngineeringSoftware","isFork":false,"description":"RTSCheck: A framework for testing regression test selection tools","allTopics":["testing","regression","selection"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":0,"starsCount":4,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-26T15:17:14.691Z"}},{"type":"Public","name":"wayout","owner":"EngineeringSoftware","isFork":false,"description":"Dynamically generate Python bindings for C++ libraries","allTopics":["python","cpp","bindings","automatic"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-26T14:48:22.290Z"}},{"type":"Public","name":"time-segmented-evaluation","owner":"EngineeringSoftware","isFork":false,"description":"Code and data for \"Impact of Evaluation Methodologies on Code Summarization\" in ACL 2022.","allTopics":["machine-learning","deep-learning","evaluation","ml4code","code-summarization","comment-generation","time-segmented-evaluation","method-naming","dataset"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":10,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-06T18:38:43.161Z"}},{"type":"Public","name":"math-comp-corpus","owner":"EngineeringSoftware","isFork":false,"description":"Corpus of Coq code related to MathComp including several machine-readable representations","allTopics":["coq","machine-learning-dataset","mathcomp","serapi"],"primaryLanguage":{"name":"Common Lisp","color":"#3fb68b"},"pullRequestCount":0,"issueCount":0,"starsCount":10,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-06T18:38:15.489Z"}},{"type":"Public","name":"roosterize","owner":"EngineeringSoftware","isFork":false,"description":"Tool for suggesting lemma names in Coq verification projects","allTopics":["machine-learning","deep-learning","coq","pytorch","neural-networks","name-generation","mathcomp","serapi"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":2,"starsCount":18,"forksCount":5,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-06T18:37:43.905Z"}},{"type":"Public archive","name":"hdlp","owner":"EngineeringSoftware","isFork":false,"description":"Code and data for \"On the Naturalness of Hardware Descriptions\" in ESEC/FSE'20","allTopics":["machine-learning","vhdl","verilog","systemverilog","hardware-description-language","naturalness","deep-learning","pytorch"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-11T03:08:20.410Z"}},{"type":"Public archive","name":"codeowners","owner":"EngineeringSoftware","isFork":false,"description":"Creates CODEOWNERS file for a give repo","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-25T14:35:56.792Z"}},{"type":"Public","name":"mcoq","owner":"EngineeringSoftware","isFork":false,"description":"Mutation analysis tool for Coq verification projects","allTopics":["serapi","coq","mutation-analysis"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":3,"starsCount":28,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-10-13T18:54:06.274Z"}}],"repositoryCount":30,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"EngineeringSoftware repositories"}