Beast code in Giters

Julian Dolby's repositories

wala-docker

Language:DockerfileEPL-2.02 20

jython3

Jython 3 sandbox

Language:PythonNOASSERTION1 10

android-maven-plugin

Maven Plugin for Android Application development and more

Language:JavaApache-2.0010

compiler

The Boa language reference compiler.

Language:JavaApache-2.0020

grammars-v4

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

Language:ANTLR010

intellij-lsp

Plugin adding Language Server Protocol support for IntelliJ

Language:ScalaApache-2.0020

juliandolby.github.io

Language:JavaScript010

jupyterlab-monaco

A JupyterLab extension providing the Monaco editor

Language:TypeScriptBSD-3-Clause020

k-NN

🆕 work to integrate PyNN into opensearch knn

Language:JavaApache-2.0000

kodkod

Kodkod solver for relational logic

Language:JavaMIT010

lsp4j

Language:JavaEPL-1.0010

m2

maven repository

010

magpie-bridge-pldi-hackathon-proposal

010

ML

ML for code generation work

Language:JavaEPL-2.0000

ocelot

Language:RacketMIT030

probe

A tool for call graph comparisons

Language:Java020

Project_CodeNet

This repository is to support contributions for tools for the Project CodeNet dataset hosted in DAX

Language:PythonApache-2.0000

rosette

The Rosette solver-aided host language, sample solver-aided DSLs, and demos

Language:RacketNOASSERTION020

sqlfluff

A modular SQL linter and auto-formatter with support for multiple dialects and templated code.

MIT000

TensorFlow-Examples

TensorFlow Tutorial and Examples for Beginners with Latest APIs

Language:Jupyter NotebookNOASSERTION010

WALA

T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses

Language:JavaEPL-2.0000