Beast code in Giters

Milos Gligoric's starred repositories

sh

A shell parser, formatter, and interpreter with bash support; includes shfmt

Language:GoBSD-3-Clause7074 63 774

kokkos

Kokkos C++ Performance Portability Programming Ecosystem: The Programming Model - Parallel Execution and Memory Abstraction

Language:C++NOASSERTION1834 84 2938

openCypher

Specification of the Cypher property graph query language

Language:GherkinApache-2.0847 64 166

pykokkos

Performance portable parallel programming in Python.

Language:Python92 14 83

CoditT5

CoditT5: Pretraining for Source Code and Natural Language Editing

Language:PythonMIT28 30

teco

TeCo: an ML+Execution model for test completion

Language:PythonMIT26 1 2

jattack

Compiler Testing using Template Java Programs

Language:JavaApache-2.024 2 1

speciteller

Sentence specificity prediction

Language:Python24 5 2

gobash

Bash function library

Language:ShellBSD-3-Clause1801

pytest-inline

pytest-inline is a pytest plugin for writing inline tests.

Language:PythonMIT16 6 2

inlinetest

Tests that check correctness of a single statement

Language:PythonMIT12 4 1

codeditor

Multilingual Code Co-Evolution Using Large Language Models

Language:PythonMIT11 2 2

math-comp-corpus

Corpus of Coq code related to MathComp including several machine-readable representations

Language:Common LispNOASSERTION10 50

time-segmented-evaluation

Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.

Language:PythonMIT10 30

jog

Pattern-Based Peephole Optimizations with Java JIT Tests

Language:JavaApache-2.07 10

emop

eMOP: A Tool for Evolution-Aware Runtime Verification

Language:JavaMIT6 2 37

tempo

Programming and execution model for parallel bounded exhaustive testing

Language:CudaBSD-3-Clause5 10

predictiverts

ML-based regression test selection

Language:Python4 20

rtscheck

RTSCheck: A framework for testing regression test selection tools

Language:JavaMIT4 20

wayout

Dynamically generate Python bindings for C++ libraries

Language:Python4 20

Selfection

an Regression Test Selection (RTS) tool for C (that compiles to Arm ELF Binary)

Language:PythonMIT3 30

crosspy

A Python library that provides heterogeneous array interface with interoperability to NumPy and CuPy.

Language:PythonBSD-3-Clause300

exli

Automatic extraction of inline tests (from unit tests)

Language:PythonMIT3 10

roosterize-vscode

VSCode extension for Roosterize, a tool for suggesting lemma names in Coq

Language:TypeScriptMIT3 30

ekstazipp

Regression Test Selection tool for C++

Language:C++MIT2 10

ogo

Object Graph Programming

2 10

fine-ekstazi

Apache-2.01 10

finerts

More precise regression test selection via reasoning about semantics-modifying changes

MIT1 20

gocgo

C language lexer, parser, and visitors

Language:GoBSD-3-Clause100

LLP-Algorithms

Implementation of a few well known algorithms using lattice-linear predicates

Language:Java100