jjhenkel

code-vectors-artifact

Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"

averloc

Repository for the Adversarial ML on Code things

binnacle-icse2020

ICSE 2020 Artifact for: Learning from, Understanding, and Supporting DevOps Artifacts for Docker

c2ocaml

c2ocaml - a source-to-source transformer to take C files into OCaml files compatible with lsee (a lightweight symbolic execution engine)

docker-build-log-analysis

Shipwright: a tool for building, clustering, analyzing, and fixing broken Dockerfiles.

aaravos

arrow

Apache Arrow is a cross-language development platform for in-memory data. It specifies a standardized language-independent columnar memory format for flat and hierarchical data, organized for efficient analytic operations on modern hardware. It also provides computational libraries and zero-copy streaming messaging and interprocess communication. Languages currently supported include C, C++, Java, JavaScript, Python, and Ruby.

azuredatastudio

Azure Data Studio is a data management and development tool with connectivity to popular cloud and on-premises databases. Azure Data Studio supports Windows, macOS, and Linux, with immediate capability to connect to Azure SQL and SQL Server. Browse the extension library for more database support options including MySQL, PostgreSQL, and MongoDB.

code2seq

Code for the model presented in the paper: "code2seq: Generating Sequences from Structured Representations of Code"

CodeSearchNet

Datasets, tools, and benchmarks for representation learning of code.

dockerizeme

Automatically generate environment configurations as Dockerfiles

enry

A command-line tool based on enry

gcc

henkels-have-to

leveldb

LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

nteract

📘 The interactive computing suite for you! ✨

postgres

Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitting_a_Patch

prompter-extension

py-tree-sitter

Python bindings to the Tree-sitter parsing library

redis

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.

rocksdb

A library that provides an embeddable, persistent key-value store for fast storage.

semantic-kernel

Integrate cutting-edge LLM technology quickly and easily into your apps

spoon

Spoon is a metaprogramming library to analyze and transform Java source code (incl Java 9, 10, 11, 12, 14). :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.

sqlite

Official Git mirror of the SQLite source tree

sqltoolsservice

SQL Tools API service that provides SQL Server data management capabilities.

stable-diffusion-webui

Docker container images for AUTOMATIC1111's Stable Diffusion Web UI

timescaledb

An open-source time-series SQL database optimized for fast ingest and complex queries. Packaged as a PostgreSQL extension.

tree-sitter

An incremental parsing system for programming tools

tree-sitter-docker

Tree sitter grammar for Docker