Pinned Repositories
android-maven-plugin
Maven Plugin for Android Application development and more
compiler
The Boa language reference compiler.
grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
intellij-lsp
Plugin adding Language Server Protocol support for IntelliJ
juliandolby.github.io
jupyterlab-monaco
A JupyterLab extension providing the Monaco editor
jython3
Jython 3 sandbox
k-NN
🆕 work to integrate PyNN into opensearch knn
kodkod
Kodkod solver for relational logic
wala-docker
juliandolby's Repositories
juliandolby/wala-docker
juliandolby/jython3
Jython 3 sandbox
juliandolby/android-maven-plugin
Maven Plugin for Android Application development and more
juliandolby/compiler
The Boa language reference compiler.
juliandolby/grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
juliandolby/intellij-lsp
Plugin adding Language Server Protocol support for IntelliJ
juliandolby/juliandolby.github.io
juliandolby/jupyterlab-monaco
A JupyterLab extension providing the Monaco editor
juliandolby/k-NN
🆕 work to integrate PyNN into opensearch knn
juliandolby/kodkod
Kodkod solver for relational logic
juliandolby/lsp4j
juliandolby/m2
maven repository
juliandolby/magpie-bridge-pldi-hackathon-proposal
juliandolby/ML
ML for code generation work
juliandolby/ocelot
juliandolby/probe
A tool for call graph comparisons
juliandolby/Project_CodeNet
This repository is to support contributions for tools for the Project CodeNet dataset hosted in DAX
juliandolby/rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
juliandolby/sqlfluff
A modular SQL linter and auto-formatter with support for multiple dialects and templated code.
juliandolby/TensorFlow-Examples
TensorFlow Tutorial and Examples for Beginners with Latest APIs
juliandolby/WALA
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses