Similar repositories to philipjf/AWG-AVOCS-2016:

• philipjf/AWG-AVOCS-2016 github similar
• danistefanovic/build-your-own-x github similar
• dinix2008/quasar-groovy github similar
• paurkedal/iplogic github similar
• dougqh/JAK github similar
• hephaestus-pl/coqfj github similar
• tel/ocaml-transducers github similar
• fold-lang/fold github similar
• axiles/ocaml-efl github similar
• blandinw/ocaml-grpc-envoy github similar
• LatencyUtils/jRT github similar
• emina/kodkod github similar
• idris-hackers/idris-java github similar
• janestreet/ppx_sexp_conv github similar
• spacejam/rasputin github similar
• SimonJF/cmm_of_wasm github similar
• mit-plv/koika github similar
• puniverse/spaceships-demo github similar
• JuliaInterop/JavaCall.jl github similar
• lakras/matlab-to-julia github similar
• serkan-ozal/jillegal github similar
• OpenJML/OpenJML github similar
• cykl/hprof2flamegraph github similar
• cksystemsgroup/scal github similar
• MikeInnes/DataFlow.jl github similar
• gasche/icfp2016-papers github similar
• Frama-C/Frama-C-snapshot github similar
• coq-community/math-classes github similar
• MGunlogson/CuckooFilter4J github similar
• airlift/jvmkill github similar
• DeepSpec/InteractionTrees github similar
• xclerc/ocamljava github similar
• Deducteam/Dedukti github similar
• ztellman/primitive-math github similar
• pure4j/pure4j github similar
• sridharv/gojava github similar
• ceu-lang/ceu github similar
• numbbo/coco github similar
• Deducteam/lambdapi github similar
• deephacks/lmdbjni github similar